Get the interrupt pipeline code for the target kernel from
http://xenomai.org/downloads/ipipe/, or
git://git.xenomai.org/ipipe.git