Speaking of FreeBSD and ntp: yesterday at work I set up a Dell Poweredge 2550 as ntp server. FreeBSD 5.4, a kernel with PPS support (the PPS bits will arrive when I have time to make a cable). It now runs over the weekend to see how stable ntpd will get.