Tak já nevím, překope to kus jádra, nebo nepřekope? Na těch jejich slajdech to vypadá jako paralelní stack vrstev OS, až dolů k hardwaru (vlastní rozšíření HALu). Čiže nevidím rozdíl mezi RTX a kupříkladu Xenomai nebo RTAI, které také tvoří dodatečnou komponentu (nebo, chcete-li, „real-time subsystém“).