How to boot xenomai on ubuntu 10.04?

1 vote

2 answers

1447 views

                          I install xenomai by

    sudo 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~

Asked by sam (1057 rep)

Oct 29, 2011, 02:28 PM
Last activity: Jan 27, 2013, 07:56 PM

How to boot xenomai on ubuntu 10.04?

Related Questions