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.