PikeOS von SYSGO: http://www.sysgo.com/products/pikeos-rtos-technology/
http://www.sysgo.com/products/pikeos-rtos-technology/