QNX

QNX Software Systems: QNX Neutrino realtime operating system (RTOS): http://www.qnx.com/products/neutrino_rtos/