Does anybody know if this will run on the BBC microbit, and if it does, will it have an advantage over mbed?
The NXP/Freescale KL26 has very limited resources, however. I would not recommend using a higher end RTOS with very low end, severely memory constrained MCUs.