virtualbox.org

Dear All,

I have encountered this problem

This kernel requires an x86-64 CPU, but only detected an i686 CPU. Unable to boot – please use a kernel appropriate for your CPU

whilst booting a 64 bit version of Arch Linux on a Windows XP 32 bit host system. The problem is that the other computer is not mine and belongs to a company with which I am not affiliated so I cannot make too many changes. We have enabled the Virtualisation Technology in BIOS. The TXT Technology was left disabled in case it was relevant.

Is there anything obvious we're missing? The Virtual Box version is a bit above 4. Has anyone successfully run 64 bit systems on VirtualBox HP Elite Book 8440 with a 32 bit host?

Please let me know if you any suggestions or advice etc. any comments will be greatly appreciated.

VT-x needs to be enabled in the laptop BIOS, and in the VM settings. Without it you cannot run 64bit guests. If you think that is already done then post a zipped log file created by the VM on that laptop.

Thank you for the reply. VT-x is ticked in VB. In BIOS the only virtualization related entry was "Virtual Technology" and this is enabled at the moment. I am attaching log file as requested.

Thanks for the log: I believe you need to enable "IO APIC" and PAE as well, in the VM settings. It's odd, because those should have been enabled in the default template when you created a new 64bit VM.

Thanks for taking your time to look at this. Unfortunately checking the IO APIC and PAE has not solved the issue. I am attaching a new log. There are a few differences.

Apologies for bumping this thread, but I just wish to know whether there is anything else that I could try? Should I file a bug report with this log?