* Xen : http://www.cl.cam.ac.uk/research/srg/netos/xen/
http://xen.xensource.com/
The Highest Performing Virtualization SoftwareServer Virtualization with the Xen HypervisorRun Applications on Any ServerXen Is an Open Source TechnologyXen Virtualization Provides Greater Flexibility and Lower Total Cost of OwnershipParavirtualization Provides Near-Native PerformanceXen 3.0 Brings Features for Today’s Enterprise ServersLean and SecureFastest Live RelocationUtility Based ComputingPer VM Resource GuaranteesAn Emerging Open Industry Standard
* KVM : http://kvm.qumranet.com/kvmwiki
Commercial products
* VirtualBox : http://www.virtualbox.org/
* Open Kernel Lab4
http://www.ok-labs.com/releases/release/open-kernel-labs-and-nicta-to-deliver-verified-microkernel-hypervisor-techn
http://www.linuxfordevices.com/c/a/News/NICTA-sel4-OK-Labs-OKL4/
http://nicta.com.au/news/home_page_content_listing/world-first_research_breakthrough_promises_safety-critical_software_of_unprecedented_reliability
http://ertos.nicta.com.au/research/l4.verified/
http://www.sigops.org/sosp/sosp09/program.html