PX5 RTOS
The PX5 RTOS is ULTRASMALL (< 1KB for minimal use), enabling its use in some of the most memory-constrained devices. It is one of the smallest RTOSes available, requiring less than 1KB of FLASH and 1KB of RAM on typical 32-bit microcontrollers.
It’s ULTRAHIGH PERFORMANCE (sub-microsecond context switching and API calls on most microprocessors) and rich determinism make it ideal for the most demanding real-time needs.
PX5 RTOS also boasts best-in-class SAFETY AND SECURITY. The entire PX5 RTOS code base is rigorously tested - 100% C statement and branch decision coverage testing for every release. In addition, The PX5 RTOS also offers patent-pending Pointer/Data Verification (PDV) technology, a unique way to provide unprecedented run-time function pointer, system object, buffer, and stack verification.
Most importantly, the PX5 RTOS is SIMPLE. The API consists of a native implementation of the well-known POSIX pthreads standard, which makes PX5 RTOS applications easily portable to any POSIX pthread implementation, such as in Linux or even other RTOSes.
PX5 RTOS also offers optional POSIX pthreads extensions that are designed specifically for deeply embedded, real-time applications.