Keil RTX становится частью CMSIS, (и Open Source) Опции

[Nixon]

http://www.keil.com/pr/article/1253.htm

По сути стандартом RTOS для микроконтроллеров ARM де-факто становится RTX. Обещают поддержку Realview, GCC и IAR

[VslavX]

http://www.keil.com/pr/article/1253.htm

По сути стандартом RTOS для микроконтроллеров ARM де-факто становится RTX. Обещают поддержку Realview, GCC и IAR

Вроде бы то что Вы искали недавно - бесплатная RTOS с мощной отладкой
ARM-у раздуплится бы лет на 5-7 раньше, когда массово пошли микроконтроллеры на их ядрах - было же ясно, что грядет повальная RTOS-изация. Собственно сама RTOS невеликого объема и сложности программа, было понятно что появится много бесплатных открытых проектов разной степени привлекательности. А теперь народ плотно подсел на все эти варианты и сковырнуть его оттуда "на официальный де-факто стандарт" достаточно непросто. В-общем, поезд ушел, и давно.
Да и, ИМХО, относительная медленная эта RTX, я на практике не тестировал, только исходники переключения контекста посмотрел, не совсем плохо, но до болида недотягивает. Такты на системные функции в рекламке красиво расписаны, только суть там поглубже немного .