how does Fiasco achieve C++ support

Adam Lackorzynski adam at
Mon Jun 29 23:51:58 CEST 2015


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 at

More information about the l4-hackers mailing list