Hi, Your reply is really helpful. One more question is about cxx library in L4re. l4re has an additional cxx library (src/l4/pkg/cxx), which also includes some c++ support stuff. As we already have libstdc++ and libsupc++, why do we need such additional library? What is the relationship between this cxx library and libstdc++, libsupc++? Thanks a lot! Yuxin On Mon, Jun 29, 2015 at 5:51 PM, Adam Lackorzynski <adam@os.inf.tu-dresden.de> wrote:
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 adam@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