If I want to use Linux as an RTOS, I have to run a whole separate kernel? I know enough to know that RTOSes have well-controlled latency, but I don't see how that coexists with my regular linux kernel.