Hi, 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? Thanks a lot. Yuxin _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
