This page describes how you can use an Atmel ATmega32U4 (e.g. an Arduino Leonardo, Teensy or clone) and a DCF77 receiver to build a (hot-pluggable) HID USB real-time (radio) clock (I’ve named it dcf77-hid-usb-rtc), for usage with Linux systems.
Because it is a radio clock, it will always have the exact time, at least as long as it will receive a signal from the German DCF77 time code transmitter in Mainflingen. So it is perfectly usable as a reliable stratum 0 time source for your network (if a resolution of one second fits your needs). As this isn’t a scientific paper about accurate and reliable real-time clocks, I will not go further into the details of time keeping. As a first step you might read the Wikipedia article about NTP.
The overall cost for one of those thingies I’m describing here is about 25€, which isn’t really cheap. But I find it a valuable thingy because the result is a hot pluggable RTC, usable by almost any device which has USB. So it’s very likely you will use it for much longer than the computer you currently want to build or search it for….
Stop breadboarding and soldering – start making immediately! Adafruit’s Circuit Playground is jam-packed with LEDs, sensors, buttons, alligator clip pads and more. Build projects with Circuit Playground in a few minutes with the drag-and-drop MakeCode programming site, learn computer science using the CS Discoveries class on code.org, jump into CircuitPython to learn Python and hardware together, or even use Arduino IDE. Circuit Playground Express is the newest and best Circuit Playground board, with support for MakeCode, CircuitPython, and Arduino. It has a powerful processor, 10 NeoPixels, mini speaker, InfraRed receive and transmit, two buttons, a switch, 14 alligator clip pads, and lots of sensors: capacitive touch, IR proximity, temperature, light, motion and sound. A whole wide world of electronics and coding is waiting for you, and it fits in the palm of your hand.