I see Arduino on the roadmap. Is it possible to run clockkit on Arduino compatible board with a pretty beefy microcontroller, i.e. Atmel SAMD51P20? My goal is to synchronize clocks (find dt) between a PC and SAMD51P20. I need only about 1ms accuracy.