Question

我是Xenomai的新手所以请原谅我，如果我的问题很愚蠢

我已经使用命令

在我的ubuntu 11.04中安装了xenomai 2.4.8

apt-get install libxenomai-dev

现在我想测试一个简单的vxWorks程序，但是当我编译我的程序时，我会收到此消息

Xenomai: vxworksskin or CONFIG_XENO_OPT_PERVASIVE disabled
(modprobe xeno_vxworks?)

和modprobe xeno_vxworks的输出是

FATAL: Module xeno_vxworks not found

我的问题是，我怎样才能使用xeno_vxworks模块？

由于

Answer 1

我对Xenomai了解不多，但听起来你需要自己下载源make而不是从Ubuntu存储库安装。

然后，在配置包时，应该有一个选项来构建它，如源目录所示（http://svn.gna.org/svn/xenomai/trunk/src/skins/)