[Xenomai] [RELEASE] Interrupt pipeline support

[Philippe Gerum]

v4.x/arm/:
http://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.1.18-arm-4.patch
http://xenomai.org/downloads/ipipe/v4.x/arm/ipipe-core-4.1.18-arm-4.patch

v4.x/arm64/:
http://xenomai.org/downloads/ipipe/v4.x/arm64/ipipe-core-4.1.18-arm64-2.patch

v4.x/blackfin/:
http://xenomai.org/downloads/ipipe/v4.x/blackfin/ipipe-core-4.1.18-blackfin-2.patch

v4.x/powerpc/:
http://xenomai.org/downloads/ipipe/v4.x/powerpc/ipipe-core-4.1.18-powerpc-3.patch

v4.x/x86/:
http://xenomai.org/downloads/ipipe/v4.x/x86/ipipe-core-4.1.18-x86-3.patch

v3.x/arm/:
http://xenomai.org/downloads/ipipe/v3.x/arm/ipipe-core-3.18.20-arm-9.patch

v3.x/blackfin/:
http://xenomai.org/downloads/ipipe/v3.x/blackfin/ipipe-core-3.14.44-blackfin-10.patch
http://xenomai.org/downloads/ipipe/v3.x/blackfin/ipipe-core-3.18.20-blackfin-6.patch

v3.x/powerpc/:
http://xenomai.org/downloads/ipipe/v3.x/powerpc/ipipe-core-3.14.44-powerpc-13.patch
http://xenomai.org/downloads/ipipe/v3.x/powerpc/ipipe-core-3.18.20-powerpc-6.patch

v3.x/x86/:
http://xenomai.org/downloads/ipipe/v3.x/x86/ipipe-core-3.14.44-x86-12.patch
http://xenomai.org/downloads/ipipe/v3.x/x86/ipipe-core-3.18.20-x86-6.patch

GIT tree: git://git.xenomai.org/ipipe.git

-- 
Philippe.