Supported OS

In principle, any 32-bit guest operating system should be supported so long as it:

  • Uses ‘normal’ 32-bit page tables. PAE is also supported on AMD.

The following guest OSes are known to work:

  • Ubuntu 12.04 LTS with kernel 3.2.0-27-generic and below
  • Windows XP
  • Windows Server 2003