problem compiling pkg/crtx

Jayesh Salvi jayeshsalvi at
Thu Jul 21 03:22:44 CEST 2005

> > Hey copying the .S to crtx/lib/src worked. Thanks a lot.
> Ok, good. One could now suspect that the vpath thing isn't quite working
> somehow. If you have some free time maybe play around with this and see
> if the behaviour changes in some way.

I accidently saw this
FAQ<>now. I
removed the .S file from lib/src and changed the Makefile to have
SRC_S=crt0_x.S and that too worked.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list