Xenomai e Ubuntu

Question

Instalei o xenomai 2.4.8 no Ubuntu 11.04 com este comando:

apt-get install libxenomai-dev

Agora quero testar um programa vxWorks simples, mas quando eu compilo meu programa, recebo esta mensagem:

Xenomai: vxworksskin or CONFIG_XENO_OPT_PERVASIVE disabled
(modprobe xeno_vxworks?)

... e a saída de modprobe xeno_vxworks é:

FATAL: Module xeno_vxworks not found

Minha pergunta é, como posso recuperar o módulo xeno_vxworks?

_{Eu sou novo no Xenomai, então, por favor, me perdoe se a minha pergunta for boba.}

    

Answer 1

Você instalou as bibliotecas de desenvolvimento de software xenomai, não os próprios pacotes xenomai. Mais importante, uma verificação rápida do site xenomai indica que você precisa compilar um módulo do kernel (provavelmente xeno-vxworks) e adicioná-lo ao seu kernel antes que ele funcione.

As instruções aqui são para o Debian ao invés do ubuntu, mas elas devem ao menos apontá-lo na direção certa .