In Ubuntu 20.04, the performance matches expectations, but there are also some issues with the MicroSD card not working, and the USB-C port limited to 480 Mbps, at least with MINIX NEO Storage Plus USB-C multifunction adapter. Both Arduino and Raspberry Pi I/O header can be controlled in...