> NuttX has some preliminary support, RiotOS doesn't do FPU, BT, crypto acceleration and uses one core only. As always, patches welcome ;) Those RTOS projects

> NuttX has some preliminary support, RiotOS doesn't do FPU, BT, crypto acceleration and uses one core only. As always, patches welcome ;) Those RTOS projects don't have nearly as much developer resources as there are Chips, so there are always still low hanging fruits to be picked.