Hello again,
right after sending my previous post, I had another idea: Did you
download and use the 64bit version of the genode toolchain? From your
log, libgendep.so is built for 64bit binaries.
Greets
--
Christian Helmuth
Genode Labs
http://www.genode-labs.com/ ·
http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth