Hello, 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?
Emanuel _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
