Hi chris76,
Are you using the devkit or custom board for AGX Orin?
Do you connect a GPS module on AGX Orin with PPS signal?
If so, which pin are you using for PPS signal?
To enable PPS with JP6.x, you can refer to the following threads.
PPS input to GPIO on Jetpack 6.1 - #8 by erik93
Pps_gpio interrupt not asserted - #8 by KevinFFF
Yes, if the related kernel configs have been enabled in your case, you can just enable it from device tree but you have to know the exact hex value for your pin in device tree.