Xenomaiをインストールします
Sudo apt-get install xenomai-*
インストールしました
dctrl-tools libxenomai-dev libxenomai1 linux-patch-xenomai xenomai-doc xenomai-runtime.
しかし、私がチェックすると/boot/grub/grub.cfg
、何も変わっていないようです。
Ubuntu10.04でxenomai
を起動するにはどうすればよいですか?
Debianパッケージの構築 のXenomaiパッチを適用したLinuxカーネルパッケージの構築に従う必要がありますか?
しかし、それは私のもの(2.6.32)よりも新しいカーネル2.6.35を使用しています。
ありがとう〜
Xenomaiについてはわかりませんが、linux-patch-xenomai
パッケージには/usr/share/doc/linux-patch-xenomai/
にいくつかのREADME
ファイルが含まれています。 (私が理解していることから、とにかく新しい-patched-カーネルを構築することになっているので、現在使用しているカーネルはそれほど重要ではありません。)
このページで詳細な説明を見つけました。それがあなたのために働くことを願っています!
http://code.google.com/p/jhu-lcsr-ros-pkg/wiki/UbuntuXenomai