我已经使用以下命令在 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）并将其添加到您的内核中才能工作。
说明这里适用于 Debian 而不是 ubuntu，但它们至少应该为您指明正确的方向。