Virtualbox shows only 32-bit machine options

[Manish Jain]

On 2020-01-26 05:05, Enrico Migliore wrote:
> Hi,
> 
> in the past I faced a similar problem on an ASUS P67 motherboard with 
> Windows 7 PRO.
> 
> I wasn't able to install Ubuntu Linux 64 bits.
> 
> I had to enable a feature in the BIOS which though I can't remember 
> which it was.
> 
> After that, the installation went fine and smooth.
> 
> Enrico Migliore


Hi Enrico/others,

My problem (VirtualBox lists only 32-bit VMs and no 64-bit VMs) occurs 
under both FreeBSD and Linux. So this is definitely a BIOS problem.

I have closely inspected my BIOS and found no option anywhere related to 
virtual machines. I fiddled with a lot of BIOS options but VirtualBox is 
staunchly stuck at pure 32-bit VMs.

My motherboard is Gigabyte B450 AORUS and its BIOS version is F5. How do 
I check if a newer BIOS exists, which hopefully will solve my problem ?


Thanks,
Manish Jain