I wrote a wiki page on how to run a ntp server on SmartOS. Check it out! http://wiki.smartos.org/display/DOC/GPS+backed+NTP+server