Gpsdo, a printed circuit board