A Tour of Mini-OS KernelA tour of the Mini-OS kernel Satya Popuri Graduate Student University of Illinois at Chicago Chicago, IL 60607 spopur2 [at] uic [dot] edu Introduction Mini-OS is a small OS kernel distributed with the Xen hypervisor sources. I have documented some of the basic parts of this kernel for the reference of people trying to port their OSes to Xen (also for people writing new OSes for Xen). This work is
