Virtualisation
General information on our virtualisation research and relevant background information can be found on our virtualisation research pages.
Itanium Virtualisation
We currently have two related Itanium virtual-machine monitors (VMMs): vNUMA, a VMM that emulates a NUMA machine on a cluster of individual machines, and Linux-on-Linux, a VMM that allows the use of Linux as a hypervisor. We support pre-virtualisation of Linux for both hypervisors (as well as <-- -->Xen<---->).
Other virtualisation software
Wombat, part of the Iguana project, is a para-virtualised Linux guest aimed at embedded applications and supported on a number of architectures relevant to the embedded space.
Darbat is a port of Darwin to L4, with the aim of running a full Mac OS X system on top of L4, possibly alongside Wombat.