I have a NanoPI running :

root@me:~# uname -a
Linux me 4.14.0 #1 SMP Mon Dec 18 11:43:22 CST 2017 armv7l armv7l armv7l GNU/Linux

I have NTP and ntp-tools installed and running, no problems. I'd like to take my external PPS source and get it working on this board as well. I have the PPS signal connected to gpioA2, which I've tested and works just fine. Next, I need a PPS driver to take this signal and feed it into NTP.

Has anyone done this? With so many PPS drivers out there, which one would be recommended for this board running Ubuntu?

Thanks!