Using Nvidia AGX Orin GPIO pins to recieve a PPS signal

Hi,

Two things for you to do:

  1. Enable PPS support in kernel config.
  2. Set the pin you want to use for PPS in device tree.

Similar to what this guy did:

Also, if you need GUI for your work, remember to re-build display drivers when you re-build the kernel image.