2 ms·

Thanks for the page. I guess I would have to go for the mangopi: usb-c device/power port and the GPIOs.