Tried to compile linux 2.6.26.5 kernel with xenomai 2.4.5 (also ran ./configure --disable-x86-tsc --enable-x86-sep) ./prepare-kernel.sh  --arch=i386 --adeos=/usr/src/xenomai-2.4.5/ksrc/arch/x86/patches/adeos-ipipe-2.6.26-x86-2.0-09.patch --linux=/usr/src/linux-2.6.26.5 make gave the error: arch/x86/xenomai/hal_32.c: In function ârthal_latency_above_maxâ: arch/x86/xenomai/hal_32.c:139: error: implicit declaration of function âdie_nmiâ make[1]: *** [arch/x86/xenomai/hal_32.o] Error 1 make: *** [arch/x86/xenomai] Error 2 Thanks