Finally managed to get the /dev/pps1 to show.
The two things I did:
- Set CONFIG_PPS_CLIENT_GPIO=m, as mentioned in the thread linked by @JerryChang
- Make sure that it is set in tegra_defconfig as well
- Build, and manually copy the tegra194-p3668-0000-p3509-0000.dtb to the NX’s /boot/dtb and replace the existing file
Now, after adding the PPS GPIO with insmod, /dev/pps1 is shown.
Thanks for the help!