12/15/13 Gil's LotD: Raspberry Pi NTP server

http://ntpi.openchaos.org/pps_pi/ Creating a GPS-backed NTP server on a Raspberry Pi.