También existe un planificador (scheduler) distinto para Linux y para RTAI.