4.13.1. Building and installing Xenomai

• Download Linux kernel

• download Xenomai from www.xenomai.org

• Patch the kernel:

$ scripts/prepare-kernel.sh --linux=<linux-srctree> [--adeos=<adeos-patch>] [--arch=<target-arch>]

example:

../../git/xenomai/scripts/prepare-kernel.sh  --linux=. --arch=i386 --adeos=../adeos-ipipe-2.6.23-i386-1.10-10.patch

• configure (Options are available from the "Real-time subsystem" toplevel menu) and build kernel

• build the userspace tools (automake) and install

• Detailed instructions for (cross-) building can be found in README.INSTALL in the Xenomai sources