Time synchronization of machines on LAN to GPS NTP server on the LAN

Run ntpd on all machines. Set the server so that it gets its time from the gps receiver and point the other machines to the server. With iburst the clients will sync fast enough for your purposes.