Similar issue, after I used $xenomai_root/configure --enable-x86-sep for a i386, and make install.&nbsp; I can't do any make, such as make clean, make menuconfig.<br>The message was: make: *** No rule to make target 'clean'. Stop.<br>I had to remove the build and start over.<br>This issue happened regardless to different combination of kernel and xenomai.<br>The question is: Do I need to enable-x86-sep for i386.&nbsp; If yes, how can I get vmlinux, initrd, System.map under /boot? Any suggestion to resolve the build problem? <br>Thanks,<br>Dennis<br><br>PS: I used make install after the $xenomai/configure --enable-x86-sep.<br><br><b><i>Dennis Nguyen &lt;dennisnguy@domain.hid&gt;</i></b> wrote:<blockquote class="replbq" style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"> I followed the README from xenomai to build kernel+xenomai:<br>-prepare-kernel.sh ...<br>cd $linux_tree<br>make menuconfig<br>make bzImage modules<br>make
 modules_install<br><br>When ever I used $xenomai_root/configure --enable-x86-sep, It won't <br>create System.map vmlinux, and initrd under/boot.<br><br>I used different combo kernel linux-2.6.20.10 with xenomai-2.3.4.<br>kernel linux-2.6.22.10 with xenomai-2.4-rc4.<br>kernel linux-2.6.22.10 with xenomai 2.4-rc5.<br>The result for the System.map vmlinux, and initrd under /boot are the <br>same.  If I do not used the configure --enable-x86-sep then the files <br>built under /boot.<br><br>Any suggestion please,<br>Thanks<br>Dennis<br></blockquote><br>