Yes, I used make install after run $xenomai/configure --enable-x86-sep. Sorry, I forgot to mention in the previous email I could not get the System.map. vxlimux, and initrd. Also make clean, make menuconfig would not work after that. The message was: make: *** No rule to make target 'clean'. Stop. I have to remove the kernel and start over. Thanks, Dennis
Jan Kiszka wrote: > Dennis Nguyen wrote: > >> I followed the README from xenomai to build kernel+xenomai: >> -prepare-kernel.sh ... >> cd $linux_tree >> make menuconfig >> make bzImage modules >> make modules_install >> > > make 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 >> > > Jan > > _______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
