11 May
2020
11 May
'20
4:23 p.m.
I was not able to find a libsupc++ from Fedora.
I finally:
sudo cp /usr/local/genode/tool/19.05/x86_64-pc-elf/lib/64/libsupc++.* /usr/lib64/
and it seems to work.