Using binaries with debugging symbols instead of stripped binaries

Norman Feske norman.feske at
Mon Apr 1 14:24:40 CEST 2019

Hi Parfait,

On 01.04.19 13:00, Parfait Tokponnon wrote:
> Hello,
> I am using Genode with Nova kernel and I would like to build seoul-net
> scenario with the un-stripped binaries (the kernel also included) for
> debugging purpose. Currently, the build script uses stripped binaries by
> default.
> I found in old mailing exchanges that this may be achieved by commenting
> 'copy_and_strip_genode_binaries_to_run_dir' in tool/run/run but this
> line is not available anymore in the current version.  
> How can I instruct the build script to use the debugging binaries?

the build system preserves the unstripped binaries, and creates symlinks
to them in the <build-dir>/debug/ directory. The kernel (hypervisor)
should be included there, too.


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list