I followed the README from xenomai to build kernel+xenomai: -prepare-kernel.sh ... cd $linux_tree make menuconfig make bzImage modules make modules_install
When ever I used $xenomai_root/configure --enable-x86-sep, It won't create System.map vmlinux, and initrd under/boot. I used different combo kernel linux-2.6.20.10 with xenomai-2.3.4. kernel linux-2.6.22.10 with xenomai-2.4-rc4. kernel linux-2.6.22.10 with xenomai 2.4-rc5. The result for the System.map vmlinux, and initrd under /boot are the same. If I do not used the configure --enable-x86-sep then the files built under /boot. Any suggestion please, Thanks Dennis _______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
