Get PPS/timepulse from GPS-RTK-SMA Breakout - ZED-F9P

I’m looking to set up an NTP server on a Linux machine and would like to use ZED-F9P as PPS source. I see it provides PPS from both SMA and pin breakout. Does anyone have any experience with connecting that signal to a PC in a fashion Linux would be able to recognize it? I have an RS-232 port available on the station.

https://github.com/sparkfun/SparkFun_u- … Parameters has some examples for Arduino (these can be used with U-blox’s U-Center on PC or Linux) that should have what you’re after.

Hope this helps!