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/
Follow Xenomai Kernel Images
Other Useful Business Software
Enterprise-grade ITSM, for every business
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Xenomai Kernel Images!