I install xenomai bysudo apt-get install xenomai-*It installed dctrl-tools libxenomai-dev libxenomai1 linux-patch-xenomai xenomai-doc xenomai-runtime.But when I check /boot/grub/grub.cfg, it seems it didn't change anything.How do I boot xenomai on Ubuntu 10.04?Should I followed Building Debian packages's Building a Xenomai patched Linux kernel package?But it uses kernel 2.6.35, which is newer than mine (2.6.32).Thank you~
How to boot xenomai on ubuntu 10.04?
ubuntu;xenomai