LKM Timemark Driver

Hal Murray hmurray at
Tue Aug 28 08:06:46 UTC 2018

Could somebody please review this discussion.  I'm trying to catch up.  I can 
follow most of the details, but I'm missing the big picture.

What GPS device is involved?  Is there a handy board?  What does it actually 
do?  I'm guessing it time stamps an input pin.  (Some other GPS unit does 
that.  I forget which one.)

Does the PPS logic on the Raspberry Pi use a counter to avoid interrupt 

What does the proposed kernel mod do?  I'd guess grab a time stamp 
before/after flapping an output pin.

These are my opinions.  I hate spam.

More information about the devel mailing list