How to use pps device node such as "/dev/pps0" and "/dev/pps1"

Hi ,
I want to use Xavier(jetpack4.4) PPS function in 1PPS, and I find the following nodes in “/dev/pps0” and “/dev/pps1”,
I believe “/dev/pps0” is triggered by kernel timer (ktimer), and configured external 1PPS input should be “/dev/pps1”, is that right?

How do I use this node “/dev/pps1” for 1PPS synchronization?

BR,

Please have a reference to below link to check if help on this.

http://paul.chavent.free.fr/pps.html
https://www.crc.id.au/2016/09/24/adding-a-pps-source-to-ntpd/