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. _______________________________________________ devel mailing list devel@ntpsec.org http://lists.ntpsec.org/mailman/listinfo/devel