XenomaiとUbuntu
次のコマンドを使用して、Ubuntu11.04にxenomai2.4.8をインストールしました。
apt-get install libxenomai-dev
ここで、単純なvxWorksプログラムをテストしたいのですが、プログラムをコンパイルすると、次のメッセージが表示されます。
Xenomai：vxworksskinまたはCONFIG_XENO_OPT_PERVASIVEが無効になっています
（modprobe xeno_vxworks？）
...そしてmodprobe xeno_vxworksの出力は次のとおりです。
致命的：モジュールxeno_vxworksが見つかりません
私の質問は、xeno_vxworksモジュールをどのように取得できますか？
Xenomaiパッケージ自体ではなく、xenomaiソフトウェア開発ライブラリをインストールしました。さらに重要なことに、xenomaiサイトを簡単にチェックすると、カーネルモジュール（おそらくxeno-vxworks）をコンパイルして、動作する前にカーネルに追加する必要があることがわかります。
手順 ここ はubuntuではなくDebian向けですが、少なくとも正しい方向を示している必要があります。