Installingg Solaris 10 Update 7 x86 in a VMWare Machine with 64 bit.

Today I tried to install a Solaris 10 Update 7 x86 version in a VMWare environment.
The Host was a Windows 2003 Server running in 64Bit Mode on a QuadCore
Xeon System.
After installing an rebooting the Solaris-System, it still booted into 32-Bit mode.

The solution was found in the BIOS of the Hostsystem. There was the
virtualization support disabled.
After enabling the virtualization support in the BIOS, and booting the installed
Solaris 10 VMWare image, the installation booted into a 64bit mode without any