Hi. I am using VirtualBox 4.0.6 (as an "administrator") on a Windows 7 64-bit host with Debian 32-bit and WinXP 32-bit guests. For both of them, I enabled AMD-V support. When I launch any of them, I see that AMD-V is not active. Yesterday, I was still using WinXP 32-bit on the same computer, with VirtualBox 4.0.6, and with the same guests (actually I created new ones but I mean with the same guest systems), AMD-V was active (it's enabled in the BIOS and everything; it worked yesterday).
Is it the 32-bit to 64-bit transition? Is it something special regarding Windows 7? May AMD-V be enabled when virtualizing a 32-bit guest on a 64-bit host?
Please help, I'm clueless.