Debian for STM32MP1
I bought a STM32MP1 dev board
[https://www.st.com/en/evaluation-tools/stm32mp157a-dk1.html] because it has a
gigabit NIC with 1588 PTP timestamps as well as hardware timers that can
timestamp PPS events without interrupt latency and jitter. I am hoping that it
will both be better than the