NavSpark GPS+GLONASS Stratum-1 NTP Time Source with a Raspberry Pi