sHype: www.research.ibm.com/secure_systems_department/projects/hypervisor [1]
Xen: www.cl.cam.ac.uk/Research/SRG/netos/xen [2]
Links:[1] http://www.research.ibm.com/secure_systems_department/projects/hypervisor [2] http://www.cl.cam.ac.uk/Research/SRG/netos/xen