我通过以下方式安装 xenomai
sudo apt-get install xenomai-*
它安装了
dctrl-tools libxenomai-dev libxenomai1 linux-patch-xenomai xenomai-doc xenomai-runtime.
但当我检查时/boot/grub/grub.cfg，似乎没有改变任何东西。
xenomai如何在 Ubuntu 10.04 上启动？
我应该跟随吗构建 Debian 软件包正在构建 Xenomai 修补过的 Linux 内核包？
但它使用内核 2.6.35，比我的（2.6.32）新。
谢谢~
答案1
虽然我对 Xenomai 一无所知，但该linux-patch-xenomai软件包中包含的几个README文件/usr/share/doc/linux-patch-xenomai/可能会对您有所帮助。 （根据我的理解，无论如何你都要构建一个新的补丁内核，所以你现在使用哪个内核应该不重要。）
答案2
我在这个页面找到了详细的解释。希望对你有帮助！
http://code.google.com/p/jhu-lcsr-ros-pkg/wiki/UbuntuXenomai