6 Apr
2020
6 Apr
'20
11:40 a.m.
Hi Christian,
I tried the test from the link you have send i.e. $ echo "int main() { return 0; }" > test.c $ gcc -o test test.c $ strip test And it worked just fine. Then I've tried $/usr/local/genode/tool/19.05/bin/genode-x86-strip -o test.strip test And it also works fine, so I assume there is another reason for the failure, but there were no previous error messages.
Best regards,
S.P.