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