<div dir="ltr"><div><div><span class="gmail-mceItemHidden">Hi,</span></div><div><span class="gmail-mceItemHidden"><br></span></div><div><span class="gmail-mceItemHidden">If anyone is having the same problem as me, and the 64-bit version of OS's in VirtualBox doesn't appear,  note that you should enable Intel (R) Virtualization Technology in BIOS. This should solve the problem in most of the cases.</span></div><div><span class="gmail-mceItemHidden">Here is a link to a discussion regarding this problem, where also other causes and solutions are listed. </span></div></div><div><br></div><a href="http://www.fixedbyvonnie.com/2014/11/virtualbox-showing-32-bit-guest-versions-64-bit-host-os/#.WBN8KLPidhF">http://www.fixedbyvonnie.com/2014/11/virtualbox-showing-32-bit-guest-versions-64-bit-host-os/#.WBN8KLPidhF</a><br></div>