Great announcement. Also great that the LED array in version 1 was empirically a success. As frequently as Raspberry Pi devices are mentioned in comparison, th

Great announcement. Also great that the LED array in version 1 was empirically a success. As frequently as Raspberry Pi devices are mentioned in comparison, there also mbed-style [1] inexpensive boards which support the "online compile and download to a virtual USB drive" model, and offer free RTOS support. (Perhaps these too -- or variants -- could hit a sweet spot in educational contexts which Raspberry Pi could miss.) [1] https://os.mbed.com/platforms/ https://os.mbed.com/platforms/ Edit: micro:bit is included there as an mbed-compatible device: https://os.mbed.com/platforms/Microbit/ https://os.mbed.com/platforms/Microbit/ . So presumably one can also practice RTOS for IoT on a micro:bit .