LKM Timemark Driver

[Hal Murray]

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 
latency?

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.