Virtualization

Open sources
* 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