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?


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