Eu instalo xenomai por
sudo apt-get install xenomai-*
Instalou
dctrl-tools libxenomai-dev libxenomai1 linux-patch-xenomai xenomai-doc xenomai-runtime.
Mas quando eu verifico /boot/grub/grub.cfg , parece que isso não mudou nada.
Como inicializo o xenomai no Ubuntu 10.04?
Devo seguir Construindo pacotes Debian ? Criando um pacote de kernel Linux corrigido do Xenomai?
Mas ele usa o kernel 2.6.35, que é mais novo que o meu (2.6.32).
Obrigado ~
Embora eu não tenha ideia sobre o Xenomai, o pacote linux-patch-xenomai inclui vários README arquivos em /usr/share/doc/linux-patch-xenomai/ que podem ajudá-lo. (Pelo que entendi, você deve construir um novo kernel com patch, então qual kernel você está usando agora não importa muito).
Encontrei uma explicação detalhada nesta página. Espero que funcione para você!