Linux for developing Ada real-time applications
RT Linux principles

Interrupts and time handling
Hardware interrupts handled by RT Linux
Simulation of interrupts for the Linux kernel
Several RT schedulers available

Memory
No dynamic memory allocation in RT Linux
RT Linux memory is never swapped out

Startup
Startup (modules) is handled by Linux
Control is transferred to RT Linux