1 从如下网址获得xenomai2.6.3源码
http://xenomai.org/getting-the-xenomai-code/
2 从如下网址获得linux-3.4.6内核源码
3 给linux内核打补丁
进入xenomai2.6.3目录 执行如下命令
scripts/prepare-kernel.sh --linux=/home/real_linux/linux-3.4.6 --adeos=ksrc/arch/arm/patches/ipipe-core-3.4.6-arm-4.patch --arch=arm
linux3.4.6 + xenomai2.6.3 构建实时linux操作系统
原文：http://www.cnblogs.com/jetli-/p/5402929.html