using patched gcc toolchain

Adam Lackorzynski adam at
Tue Jul 5 21:37:54 CEST 2005

On Tue Jul 05, 2005 at 20:03:41 +0200, Emanuel Thomas wrote:
> Adam Lackorzynski wrote on 05/07/05 19:43:
> > On Tue Jul 05, 2005 at 19:38:19 +0200, Emanuel Thomas wrote:
> >>I want to use a patched gcc toolchain, but i'm going to have problems. 
> >>Is there a global configuration file where I can (easily) which gcc (and 
> >>other tools) should be used?
> >>Even "make confg" seems to use the standard gcc. Where can I change that?
> > 
> > Doing "make config" in the l4 directory gives you the possibility to
> > configured the compilers under "Compilers and Tools". If that's not
> > enough for your setup, prepend an additional entry in your PATH
> > environment variable.
> But doing so, some system libraries are used.

Which libraries do you mean?
Looks like you want to replace more than just gcc?

Adam                 adam at

More information about the l4-hackers mailing list