Hello I installed xenomai2.6.2.1 linux-2.6.32 adeos-ipipe-2.6.32.7.x86-2.6-02.patch next I followed http://www.xenomai.org/documentation/xenomai-2.6/html/README.INSTALL/#_building_for_x86_32_64bit
$ $xenomai_root/scripts/prepare-kernel.sh --arch=x86 \ --adeos=$xenomai_root/ksrc/arch/x86/patches/adeos-ipipe-2.6.29.4-x86-X.Y-ZZ.patch \ --linux=$linux_tree $ cd $linux_tree $ make [ARCH=i386] menuconfig I configured my kernel then I did a "make", waited a long time and now when I boot , I just see my previous kernel. There is not kernel patched. Why? I I use a DELL INSPIRON 800 with DEBIAN SQUEEZE XFCE Best regards hubhub _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
