Comment Comment by anthk You can always use a gpsd(4) compatible USB dongle as the time source. parent anthk 3 years ago