I am planning to get a GNSSDO that has a PPS pin and also outputs NMEA over RS232. I want to connect this to a Raspberry Pi to act as an NTP server. The GNSSDO will still output
