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