

The virtual machine from Virtual Box Manager needs to be set to 64-bit in General -> Basic settings:

Let me suggest you try to update both, your host Ubuntu (at present kernel 3.2.0-24), and Virtual Box (see also this answer). was only added in Virtual Box version 4.1.8. Depending on your CPU you also may want to enable it's virtualization features in the BIOS (VT-x for Intel, or AMD-V).īoth, your host, and Virtual Box should be able to run 32-bit or 64-bit Debian as a guest. The at present most recent Virtual Box release is 4.1.14. It is not clear what version of Virtual Box is installed. From your details I assume you run a 64-bit Ubuntu host, likely Ubuntu 12.04 beta.
