请问哪里可以下载到 Linux 3.8.13 版本的 AM335X SDK包？

目前只有3.8.13版本的Linux才能打xenomai  补丁

Jian Zhou：

BBB的社区发布了3.8的内核版本：http://elinux.org/Beagleboard:BeagleBoneBlack#Software_Resources

或者你再等等xenonmai针对3.12的补丁