> > Folkert van Heusden has a driver for NTP which includes PPS output:
> >  https://vanheusden.com/time/rpi_gpio_ntp/
> > Perhaps this might help?
> 
> Indeed I did! :-)
> 
> But please note that the jitter is high, iirc around 18ms.
> Personally I would use https://github.com/mlichvar/pps-gpio-poll.git and
> then patch it toggle an other gpio-pin.

It has this functionality, thus no real patching required.
You only need to remove the /* around #define GPIO_ECHO in
pps-gpio-poll.c and then make/install/reboot (well not literally reboot
of course).

_______________________________________________
time-nuts mailing list -- time-nuts@lists.febo.com
To unsubscribe, go to 
http://lists.febo.com/mailman/listinfo/time-nuts_lists.febo.com
and follow the instructions there.

Reply via email to