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