GPS 1PPS signal

I’ve just had a quick look through the Pixhawk hardware standard. It looks like the GPS interface does not allow for a 1PPS signal from the GPS. Is there anyone using a 1PPS signal, and what’s the workaround?

In my case the ADS-B out module is used, but not through the px4 hardware (fmu-v6x), but through the GPS module. Also I think it is not difficult to set one of the GPIO outputs as 1PPS with GPS status: 3D fix