Denali is an OS which is nothing but a IA-32 virtual machine monitor that allows unreliable operations to run in protected domains. Its features include paravirtualization in order to support high performance virtual machines.
The latest version of Denali is inclusive of the support for fully-loaded machines.
External Links