Yep QNX and VxWorks, for smaller stuff RTEMS and FreeRTOS are just everywhere.