Yes, lots of spacecraft use traditional RTOSes like VxWorks, RTEMS, ThreadX, uCos, etc. Keep in mind that there are many computers on a large spacecraft - attitude control, command and data handling, instruments, and other microcontrollers.