Поскольку сделали отдельную ветку, надо этим воспользоваться

Обобщу: люди знают 5 "бесплатных" RTOS
1. uCLinux
2. eCos
3. freeRTOS
4. uC/OS-II
5. ARTX(keil)

Кто использовал что-то еще, может быть платное, но доставаемое? Поделитесь мнениями.

А кто-нибудь пользовался всеми/несколькими из них? Может обобщить? В частности интересует:

а. документированость
б. Возможность применения конкретно на LPC2214/2294?
в. Какие компиляторы использовали (CrossStudio/Keil/Iar/... Интересует в порядке убывания)?
г. Что понравилось/непонравилось/почему отказались?