> When discussing virtual machines it would be helpful to mention which virtual > machine hypervisor is being used, because the resulting behavior can differ > depending on hypervisor.
It was VirtualBox under Windows. The underlying issue was that VT-x was disabled in the BIOS, and hence VirtualBox didn't offer any 64-bit machines. The student tried her best to make it work, I don't think she can be blamed for failing. -- Juliusz