Xenomai в Ubuntu: скин vxworks отключен?

Question

Я новичок в Xenomai, поэтому, пожалуйста, прости меня, если мой вопрос глупый

Я установил xenomai 2.4.8 в мою Ubuntu 11.04 с командой

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/)