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?