Debian 3.8.13-bone67 and Xenomai 2.5.4

GoogleGroups
1

Dear forum,

I have installed a new kernel based on 3.8.13-bone67 and Xenomai 2.5.4 by means of the recipes found in:
http://elinux.org/EBC_Xenomai

http://elinux.org/EBC_Installing_Kernel_Source

The new kernel runs and the latency tests reports as promised.

However, when I try to compile a RTDM compliant driver I run into problems finding the Xenomai related include-files.
Despite moving from cross-compiling to native-compiling, the usr/include/linux/ipipe.h etc. is still missing.

I spot the missing files in:
…/bb-kernel/KERNEL/arch/arm/include/asm

But I can’t identify any configuration that will produce a correct compiler environment.

I have checked the Xenomai read-me files and cannot find any discrepancies.

The Xenomai support refers to NIH (Not Invented Here) and leaves me in darkness.

Are there anyone in this forum with a tip for me?

Best regards
Terje Froysa

2

Updated information/questions
Two tip received outside this forum:

Tip1: You have to install linux headers for your version (since it is not expected needed by normal users)
sudo apt-get install linux-headers-

Tip2:
Download Linux source files.

Tip1 problem:
I don’t find package “linux-headers-3.8.13-bone67”

Tip2 problem:
I already have compiled kernel and source from Xenomai patched 3.8.13-bone67
Will this download contain the Xenomai related files?
(I read that Xenomai is included in kernel now, but what Xenomai files?)

Best regards
Terje Froysa

3

Updated information/questions
Two tip received outside this forum:

Tip1: You have to install linux headers for your version (since it is not
expected needed by normal users)
sudo apt-get install linux-headers-<linux version>

Tip2:
Download Linux source files.

Tip1 problem:
I don't find package "linux-headers-3.8.13-bone67"

This works in:

http://elinux.org/Beagleboard:BeagleBoneBlack_Debian#2014-10-22

Tip2 problem:
I already have compiled kernel and source from Xenomai patched 3.8.13-bone67
Will this download contain the Xenomai related files?
(I read that Xenomai is included in kernel now, but what Xenomai files?)

Regards,