VxWorks

Wind River's VxWorks and Tornado real-time OS (RTOS), microkernel based, POSIX and ANSI C language compliant.