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" 

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

-- 
For more options, visit http://beagleboard.org/discuss
--- 
You received this message because you are subscribed to the Google Groups 
"BeagleBoard" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to