Hi,
Two things for you to do:
- Enable PPS support in kernel config.
- 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.