sHype: www.research.ibm.com/secure_systems_department/projects/hypervisor
Xen: www.cl.cam.ac.uk/Research/SRG/netos/xen
