Linux for developing Ada real-time applications
RT Linux model

The kernel is just another RT task
(in fact, the idle task)