From folkert at vanheusden.com  Wed Jul 24 09:17:26 2024
From: folkert at vanheusden.com (folkert)
Date: Wed, 24 Jul 2024 09:17:26 +0200
Subject: [LinuxPPS] pps on raspberry pi
Message-ID: <ZqCqhmWKkBdVAse6@belle.intranet.vanheusden.com>

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