Including debugging info in binaries

[Christoph Schmied]

Hey,
I am using Genode to build a project based upon base-hw.
I now want to include debugging information in the final
binary.
It seems the debugging information is available in the intermediate binaries,
but not in the final one since it is stripped.
How can I stop the Genode toolchain from throwing away the debugging information?
 
Greetings,
Christoph