次のコマンドを使用して、Ubuntu 11.04にxenomai 2.4.8をインストールしました。
apt-get install libxenomai-dev
これで単純なvxWorksプログラムをテストしたいのですが、プログラムをコンパイルすると次のメッセージが表示されます。
Xenomai：vxworksskinまたはCONFIG_XENO_OPT_PERVASIVEが無効になっている
（modprobe xeno_vxworks？）
...の出力はmodprobe xeno_vxworks次のとおりです。
致命的：モジュールxeno_vxworksが見つかりません
私の質問は、xeno_vxworksモジュールを使用する方法です。
ベストアンサー1
xenomaiソフトウェアパッケージ自体ではなく、xenomaiソフトウェア開発ライブラリをインストールしました。さらに、xenomaiサイトをすばやく見ると、カーネルモジュール（おそらくxeno-vxworks）をコンパイルし、それをカーネルに追加する必要があるかもしれません。
説明するここUbuntuではなくDebianの場合、少なくとも正しい方向を教えてください。