I wouldn’t know how to obtain a clock that synchronizes to GPS. I’ve had situations in the past where it would have been useful to have such a clock for checking at a glance if the NTP server is screwing me up, or when you’re offline.
There is another project out there using a BeagleBone Black plus a small hardware RTC and a GPS module hooked up over GPIO/serial. The advantage there is that the BBB supports hardware PTP timestamping on its built-in NIC. I threw one together over a weekend, just need to design up a small box to hold it all in (though the cable mess of jumpers also made me want to design an interposer board to clean things up)