There is a program for the RPi which handles the PPS input for NTP and can
produce an output on a GPIO pin here:
https://vanheusden.com/time/rpi_gpio_ntp/
but it's user-mode so of limited use. Perhaps the OP could adapt it?
Cheers,
David
--
SatSignal Software - Quality software written to your requirements
Web: http://www.satsignal.eu
Email: david-tay...@blueyonder.co.uk
Twitter: @gm8arv
_______________________________________________
time-nuts mailing list -- time-nuts@febo.com
To unsubscribe, go to https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts
and follow the instructions there.