Hi,

after switching from Genode 17.11 to 18.05, I just noticed that some symbols I need to link to in my implementation are missing in libports/lib/symbols/stdcxx. I temporarily added them manually and want to ask about the envisaged way of adding them. Thanks in advance!

Regards
Mark