edge-node-manager compatible firmware for the micro:bit - View it on GitHub