Make your Single Board Computer shine with DietPi
My wild guess is that most people get a small Linux computer, like the Raspberry Pi, BeagleBone, Banana Pi or Orange Pi for a specific task. Unfortunately most distributions are chock-full of software, with everything installed per default. But if you want to setup a lean single board computer for a specific task, you’re out of luck. Thankfully there is a Linux distribution, DietPi, that aims to fix that problem.
I needed a cheap heatsink for my Raspberry Pi 3 that I use as a music player/server. To maximise performance, I wanted to overclock the computer for faster searching and handling of all my music. 
This is my main NTP Stratum-1 server. It is available at ntp.jacken.se but it is also in the .se pool of ntp.org. 
So I built a pulse extender, making the pulse around 250 millisec instead. And now the Raspberry Pi picks up the pulse without problems. Some GPSDO units has the ability to set the pulse width by programming the unit via a serial port, but I can’t find that feature on this unit (which is poorly documented and was OEM made for some other manufacturer) so I had to do it with hardware. So how does it look when crunching the numbers on it