[ ChibiOS ] - кто-нить щупал? Да, не FreeRTOS майстрим , но многие тонкости весьма интересны. Важно - много (полной?) документации на сайте   . В том числе в виде reference manuals. Есть несколько версий для разных по "тяжести" применений. Самые мелкие NIL и RT, сравнение плюшек здесь   .
 Лицензия - разные типы на сайте . В том числе GPL3/Apache2.0 и Free для коммерческого использования до "Maximum 500 cores deployment".
 Есть любопытный режим: Real Tick-less Mode - если я правильно понял по исходникам, то вроде кооперативки, но если задача не отдаёт управление сама до таймаута, то усыпляем и врубаем следующую. С приоритетами.
 Работает от AVR и выше. Есть RT-Win32-Simulator.
 Материал на хабре  2013 г.