Express Logic, Inc. - Makes ThreadX RTOS, picokernel, portable, scaleable, preemption threshold, supports many processors from small microcontrollers to high-performance RISC and DSP; full IDE support from leading compiler/debugger makers. No royalty on all products. - http://www.rtos.com/
ThreadX - Growing article, with links to many related topics. Wikipedia. - http://en.wikipedia.org/wiki/ThreadX
Green Hills Software, Inc. - Sells, supports ThreadX, efficient, no-royalty, full C source, robust RTOS, gives realtime embedded developers technically advanced multitasking system, picokernel gives very high-performance with very small memory needs. - http://www.ghs.com/products/rtos/threadx.html
Oki Selects Express Logic's ThreadX RTOS for ARM Microcontrollers - No royalty RTOS maker announces its ThreadX is selected by Oki Semiconductor as preferred for its new line of low-level 32-bit controllers using industry-leading ARM7TDMI processor, and related development systems. [Embedded Star] - http://www.embeddedstar.com/press/content/2003/10/embedded10764.html