Thank you so much to the judges of the Enlightened Raspberry Pi contest! This project was awarded 3rd place! I am humbled to be even mentioned alongside the other entrants.
This isn't the end of the story for this project by any means. Once upon a time I had designed a "Pi GPS cap" that added GPS to the correct GPIO pins.
I wonder if there's room in the world for a Pi Zero NTP GPS server adapter board. Such a board would combine a GPS receiver, a Pi Power buck converter and an SPI Ethernet adapter. Connect it onto a Pi Zero and simply add power, Ethernet and a GPS antenna for a tiny, two-board GPS NTP server.
What do you all think?