[time-nuts] pps pulse timestamp device

[juan at mm.st]

Hi all,

I am looking for a cheap device (e.g. Teansy, micropython board, etc) that would help me measure with ns resolution some pulses at one event per second rate (gps pps). 

It would need quite a stable clock such that any jitter would be attributable to the pulse signal.

Any ideas what is the best way around this nowadays?

Thanks,
Juan.