Correct, missiles use something like RTEMS, which is named because it was used for missiles (no really, it originally stood for Real Time Executive for Missile Systems) and the operating demands for missiles have to be real-time given their unique edge cases.