&gt; &gt; Hey copying the .S to crtx/lib/src worked. Thanks a lot.<br>&gt; <br>&gt; Ok, good. One could now suspect that the vpath thing isn't quite working<br>&gt; somehow. If you have some free time maybe play around with this and see
<br>&gt; if the behaviour changes in some way.<br>&gt; <br><br>I accidently saw this <a href="http://os.inf.tu-dresden.de/l4env/doc/bid-tut/node12.html">FAQ</a> now. I removed the .S file from lib/src and changed the Makefile to have SRC_S=crt0_x.S and that too worked.
<br>