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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Xenomai-help mailing list [email protected] https://mail.gna.org/listinfo/xenomai-help
