RTOS - Real Time Operating System for Embedded Systems - SafeRTOS, OpenRTOS
A high quality, specially developed small RTOS kernel used for commercial and safety critical applications such as medical, automotive, aerospace, nuclear, and industrial devices, using 32 bit microprocessors