VirtualBox problem booting FreeBSD-9.0-RELEASE-amd64-bootonly.iso

Craig Rodrigues rodrigc at
Tue Apr 17 22:19:04 UTC 2012

On Mon, Apr 16, 2012 at 9:29 PM, Adam Vande More <amvandemore at> wrote:
> On Mon, Apr 16, 2012 at 10:30 PM, Craig Rodrigues <rodrigc at>
> wrote:
>> After exchanging a few e-mails with Bernard, I think I understand the
>> problem.
>> According to the VirtualBox manual:
>> The CPU needs to support hardware-assisted virtualization in order for
>> VirtualBox to support 64-bit guests.
>> Without the CPU support, VirtualBox cannot do it.  I double checked
>> this with CoreInfo.exe from Windows Sysinternals utilities,
>> and also from the Intel data sheet for my CPU:
>> (VT-x option not supported)
>> I will use QEMU under Windows until I can get a better machine. :)
> I believe a Windows 7 product key will activate either 32 or 64 install, so
> unless you have a specific reason to install 64 bit then you are likely
> better using 32 anyway.  32 bit OS's and apps use less memory than their
> corresponding 64 bit counterparts.
> --
> Adam Vande More


Yes, you are right.  Windows 7 comes on 2-DVD's, one for 32-bit and one for
64-bit.  The same product key can be used for either version.

I had installed 64-bit Windows with the intent of testing out 64-bit guest
OS's under FreeBSD, and was unaware of the requirements for
hardware assisted virtualization. :)
I am interested in developing and testing 32-bit and 64-bit Windows binaries
anyways, so I will keep my install for now. :)

Craig Rodrigues
rodrigc at

More information about the freebsd-virtualization mailing list