Windows CE, apparently... ;)

But there seem to be some other interesting examples, like QNX: http://en.wikipedia.org/wiki/List_of_real-time_operating_sys...