There is a program for the RPi which handles the PPS input for NTP and can
produce an output on a GPIO pin here:
but it's user-mode so of limited use. Perhaps the OP could adapt it?
SatSignal Software - Quality software written to your requirements
time-nuts mailing list -- email@example.com
To unsubscribe, go to https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts
and follow the instructions there.