- download Xenomai from www.xenomai.org
$ 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