Hi, On Mon Jun 29, 2015 at 12:25:42 -0400, Yuxin Ren wrote: > For libstdc++ and libsupc++, I can their source code in > l4/pkg/libstdc++-v3/contrib, > but I couldn't fine the source code for libgcc. > Where is the source code for libgcc?
There's none except the two files that are exchanged. The libgcc is the one from the chosen compiler. Adam -- Adam a...@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
