[time-nuts] Teensy 4.1

[Adrian Godwin]

I just saw an update to the Teensy microcontroller line.
Teensys are somewhat like an arduino but generally with faster processors
and more memory.

The latest one, 4.1, has an ethernet interface with IEEE1588
packet timestamping.

https://www.pjrc.com/category/news/

I'm not on pjrc's staff etc, but I like his products and as far as I know
this is a 'first' for such an interface on a cheap, fast development board
($26, 600MHz).