[LinuxPPS] pps on raspberry pi

[folkert]

Hi,

On a Raspberry Pi I registered two PPS sources, connected to pin 18 and
24:

dtoverlay=pps-gpio,gpiopin=18
dtoverlay=pps-gpio,gpiopin=24

They register:

[    8.626242] pps pps0: new PPS source pps at 18.-1
[    8.626373] pps pps0: Registered IRQ 184 as PPS source
[    8.628040] pps pps1: new PPS source pps at 12.-1             <---
[    8.628162] pps pps1: Registered IRQ 185 as PPS source

and assert fine but which is now which?

I thought the '18' in pps at 18.-1 is the pin-number (see pps0) but for
pps1 I see a different number (12) than what I configured (24)?

This is with kernel 6.6.31+rpt-rpi-v8.


regards,

Folkert van Heusden

-----------------------------------------------------------------------
www.vanheusden.com   github.com/folkertvanheusden/   PD9FVH