I am trying to install Solaris 10 x86 08/07 as a guest OS on an ESX 3.5 U1. I need it to load the 64-bit kernel as it is meant to be a 64-bit build machine. The problem is that Solaris always boots in 32-bit mode. I have select Sun Solaris 10 (64-bit) as the guest operating system, enabled paravirtualisation and enabled VT in my server's bios (Dell 2950 with Dual Xeon 5430). Am I missing something here or is this combination just not going to work?