[time-nuts] Re: pps pulse timestamp device

[Juan Solano]

Thanks Thomas,

that is a neat recommendation, I had never heard about this device, and
it could be a good fit. I guess getting a good 10MHz reference is
important here, like the ones mentioned by Jeremy.

Rgds,
Juan.