很好的一个RTOS。

要的人请留下EMAIL。

ThreadX is a high-performance real-time kernel designed
specifically for embedded applications. Unlike other realtime
kernels, ThreadX is designed to be versatile—easily
scaling among small micro-controller-based applications
through those that use powerful RISC and DSP
processors.
What makes ThreadX so scalable? The reason is based on
its underlying architecture. Because ThreadX services are
implemented as a C library, only those services actually
used by the application are brought into the run-time
image. Hence, the actual size of ThreadX is completely
determined by the application. For most applications, the
instruction image of ThreadX ranges between 2 KBytes
and 15 KBytes in size.