On Thu Jun 25, 2015 at 15:37:38 -0400, Yuxin Ren wrote: > I find in the src/l4/pkg directory, there are some libraries -- > libgcc, libstdc++-v3, and libsupc++. But in those libraries, I just > found very little source code. Instead, they include many makefiles. > > Where is the source code of those libraries? And why are there those > makefiles?
For libgcc there isn't any more source code because the package is only exchanging some functionality in the libgcc provided by the used compiler, and that only on ARM. libsupc++ is part of libstdc++-v3, so the source code is taken from there. libstdc++-v3 has all the source code related to libstdc++ which is also used by e.g. libstdc++-headers. This is separated for build dependency as well as for runtime dependency reasons. For example there are two libc versions, one with L4-knowledge/multi-threading and one without. While you probably want to have pthread and friends in your application, multi-threading functionality (or even L4 functionality) functionality isn't available in boot-up code. 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
