Xenomai Kernel Images

This is a sister-project of [1] where I maintain grsecurity images. Similar to that project, here I maintain xenomai real-time kernel images that can be installed as debian packages. These images have been created through the generic configuration provided by Ubuntu 12.04 so they are not vendor specific. They can be installed simply by dpkg -i and they come with a pre-installed initrd ramfs so you don't have to generate a new one. Just like it's sister project we don't need any actual code uploaded in the repositories because all the Linux kernel and xenomai code is available to public. See the downloads for the images and the corrosponding header files below.

[1] https://sourceforge.net/projects/ubuntugrsec/