PPS on Raspberry Pi

[Hal Murray]

I'm trying to setup a Pi with a GPS hat.



The Microserver HOWTO says:

{--config} Edit /boot/config.txt and add these lines to the end of the 
file, replacing 4 with the logical pin number for your HAT if it's not an 
Adafruit:
  # Get 1PPS from HAT pin
  dtoverlay=pps-gpio,gpiopin=4

The first problem is that config.txt and friends have move from /boot/ to 
/boot/firmware/, but I can dance around that.

The real problem is that the new/current config.txt says:
  # Do not modify this file!
  #
  # It is automatically generated upon install or update of either the
  # firmware or the Linux kernel.
I haven't figured out where to put that line.

-------

My notes say to add "pps-gpio" to /etc/modules

The bits I got from Debian don't have a pps-gpio module.

$ find /lib/modules/ -name "*pps*"
/lib/modules/6.1.0-13-rpi/kernel/drivers/pps
/lib/modules/6.1.0-13-rpi/kernel/drivers/pps/clients/pps_parport.ko
/lib/modules/6.1.0-13-rpi/kernel/drivers/pps/clients/pps-ldisc.ko
/lib/modules/6.1.0-21-rpi/kernel/drivers/pps
/lib/modules/6.1.0-21-rpi/kernel/drivers/pps/clients/pps_parport.ko
/lib/modules/6.1.0-21-rpi/kernel/drivers/pps/clients/pps-ldisc.ko
$ 

Anybody setup a GPS HAT on a Pi 1 recently?

-------

The link behind "this photograph" is 404
  
Find "north" on the HAT. It\u2019s the edge that the GPS module is closest 
to, and has a rectangular notch in it (a cutout for a ribbon cable). The 
GPIO header will be 90 degrees clockwise. If this isn't clear enough, see 
this photograph.

I haven't checked the others.


-- 
These are my opinions.  I hate spam.