With a recent update to Raspbian, it's necessary to add `arm_64bit=0` to /boot/config.txt and reboot in order to get the pps working
With a recent update to Raspbian, it's necessary to add
arm_64bit=0to /boot/config.txt and reboot in order to get the pps working