I checked it, but I believe there should be a easier way to achieve it. The chip after TX1 can support the PPS.
I followed https://devtalk.nvidia.com/default/topic/1035352/pps-drivers-not-installing/, and enable the pps from the kernel, but it shows the time out every time when I
sudo ppstest /dev/pps0
For more detail, I added the pps device to the device tree (pin 18):
gpios = <&gpio TEGRA_GPIO(B, 7) 0>;
compatible = "pps-gpio";
status = "okay";
I want to know is there any easier way to make it work?