(or maybe I'm wrong? and there's a monolithic kernel which is realtime?)