virtualbox.org

No 64-bit guests are in my list, despite using a 64-bit OS on a device with hardware virtualization:

found problem and solution here: https://answers.microsoft.com/en-us/sur ... 0667700315

Or you could have seen the following, near the top of the "Using VirtualBox" forum :-

FAQ: I have a 64bit host, but can't install 64bit guests.

mpack wrote:Or you could have seen the following, near the top of the "Using VirtualBox" forum :-

FAQ: I have a 64bit host, but can't install 64bit guests.

I did, but that didn't make it clear that I had to disable Hyper-V or how to do so. Good point, though! Thanks for putting it in this thread

Hyper-v was mentioned in point 3 of the checklist.