Xen Tips Solaris hvm 64bit To get Solaris x86 64bit kernel running on xen you have to set: cpuid=[ '1:edx=xxxxxxxxxxxxxx1xxxxxxxxxxxxxxxxx' ] in your vm config file.