Xenomai
Hard realtime development framework, works with Linux kernel; pervasive, interface-agnostic, support to programs, seamlessly integrates with GNU/Linux environment; based on abstract RTOS core, build any kind of realtime interfaces, over nucleus which exports set of generic RTOS services.