Where does it say that the 32 bit kernel is used ? 
Try this command:
$ isainfo -k

It should say 'amd64' if the 64-bit kernel is loaded.
 
 
This message posted from opensolaris.org

Reply via email to