free RTOS for ARM, какие использовали? Опции

[CrazyAlex]

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

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

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

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

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

[Andrew2000]

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

6. RTEMS - Real-Time Operating System for Multiprocessor Systems
http://www.rtems.com/
* arm - ARM V7 and above
* c4x - Texas Instruments C3x and C4x DSPs
* h8300 - Hitachi H8 family
* hppa1.1 - Hewlett-Packard PA-RISC
* i386 - Intel i386, i486, Pentium and above, AMD Athlon and above
* i960 - Intel i960 family
* m68k - Motorola m680x0, m683xx, CPU32, and Coldfire CPUs
* mips - MIPS ISA Levels 1 and above for 32 and 64 bit CPU models
* no_cpu - Example port to "no cpu"
* or32 - OpenCores OpenRisc32 CPU
* powerpc - IBM and Motorola PowerPC 4xx, 5xx, 6xx, 7xx, 8xx, 74xx, and 75xx
* sh - Hitachi SH1, SH2, SH3, and SH4
* sparc - SPARC V7 and above CPUs
* unix - Synthetic target CPU which allows RTEMS programs to execute natively on Linux, Solaris, FreeBSD, Cygwin, and HPUX.