-- arch/arm/patchesXenomai needs special kernel support to deliver fast anddeterministic response time to external interrupts, and also toprovide real-time services highly integrated with the standard Linuxkernel.This support is provided by the Adeos real-time enabler [1], in theform of a kernel patch you have to apply against a vanilla kerneltree, before you attempt to compile the Xenomai codebase against thelatter kernel.Apply one of the patches found in this directory to the correspondingkernel release. You may want to have a look at the README.*INSTALLguides at the top of the Xenomai tree for more information.-- supported boardso Integrator/CP ARM 1136[1] http://www.gna.org/projects/adeos/