[a9h74j]

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/

Edit: micro:bit is included there as an mbed-compatible device: https://os.mbed.com/platforms/Microbit/ . So presumably one can also practice RTOS for IoT on a micro:bit .