A small error

[UDXS]

In the README, you said that the BBC Micro:bit has no OS. This is false. While many microcontrollers don't have OSes, the Micro:bit is a bit more advanced. It uses ARM's Mbed OS, specifically version 2. It provides easy access to the hardware and allows for the drag'n'drop programming interface through a technology called DAPlink. The Microbit DAL by Lancaster University is built on top of Mbed OS in an attempt to abstract away the original hardware for handling things like the display or storing data in flash or using bluetooth...

Thanks!