The README says to edit /boot/config.txt on Raspberry Pi to add the pps-gpio overlay. However, when using the Armbian image provided, the file is located at /boot/firmware/config.txt.