This thread has been locked.
If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.
目前只有3.8.13版本的Linux才能打xenomai 补丁
BBB的社区发布了3.8的内核版本：http://elinux.org/Beagleboard:BeagleBoneBlack#Software_Resources
或者你再等等xenonmai针对3.12的补丁
