https://www.iot-programmer.com/index.php/books/27-micro-bit-iot-in-c/chapters-micro-bit-iot-in-c/46-micro-bit-iot-in-c-first-steps-with-the-gpio?showall=&start=0
https://tech.microbit.org/hardware/edgeconnector_ds/
https://microbit-micropython.readthedocs.io/en/latest/tutorials/hello.html