Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have installed xenomai 2.4.8 in Ubuntu 11.04 with this command:

apt-get install libxenomai-dev

Now I want test a simple vxWorks program, but when I compile my program, I receive this message:

Xenomai: vxworksskin or CONFIG_XENO_OPT_PERVASIVE disabled
(modprobe xeno_vxworks?)

...and the output of modprobe xeno_vxworks is:

FATAL: Module xeno_vxworks not found

My question is, how can I eanble the xeno_vxworks module?

I am new to Xenomai so please forgive me if my question is silly.

share|improve this question

You installed the xenomai software development libraries, not the xenomai packages themselves. More importantly, a quick check of the xenomai site indicates that you need to compile a kernel module (probably xeno-vxworks) and add it to your kernel before it can work.

The instructions here are for Debian rather than ubuntu, but they should at least point you in the right direction.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.