Xenomai is a real-time development framework cooperating with the Linux kernel, in order to provide a pervasive, interface-agnostic, hard real-time support to user-space applications, seamlessly integrated into the GNU/Linux environment.
Embedded Device Support:
* ARM
* Blackfin
* Nios II
* PowerPC
* x86
* ia64
Source:
http://www.xenomai.org
