https://wiki.xenproject.org/wiki/Mini-OS
https://wiki.xenproject.org/wiki/Mini-OS-DevNotes

http://xenbits.xenproject.org/gitweb/?p=mini-os.git
http://xenbits.xenproject.org/gitweb/?p=mini-os.git;a=blob;f=README;hb=HEAD