Genode 20.05 : how to build kernel nova with debugging symbol ?

Alexander Boettcher alexander.boettcher at
Fri Jun 19 14:13:08 CEST 2020

On 19.06.20 13:11, Parfait Tok wrote:
> Hi Alex,
> Le ven. 19 juin 2020 à 10:55, Alexander Boettcher <
> alexander.boettcher at> a écrit :
>> look into build/x86_64/debug directory. There you find the hypervisor
>> binary with debugging symbols.
>> That used to be the case until now.
> I've just made a fresh install from the git and there is nowhere I can find
> the *kernel* debugging symbols,
> although other binaries debugging symbols are right there in the
> build/x86_64/debug directory.
> This is the list of commands I issued.
> git clone genode20.05
> cd genode20.05/
> ./tool/create_builddir x86_64
> xxx/genode20.05/prepare_port dde_linux nova x86emu dde_ipxe dde_zircon libc
> seoul x86emu nova grub2 -j8
> xxx/genode20.05/tool/depot/create
> genodelabs/pkg/x86_64/drivers_interactive-pc
> genodelabs/bin/x86_64/base-nova genodelabs/bin/x86_64/demo
> genodelabs/bin/x86_64/global_keys_handler genodelabs/bin/x86_64/init
> genodelabs/bin/x86_64/nit_focus genodelabs/bin/x86_64/nitpicker
> genodelabs/bin/x86_64/report_rom genodelabs/bin/x86_64/rom_filter
> CROSS_DEV_PREFIX=/usr/local/genode/tool/19.05/bin/genode-x86-
> cd build/x86_64/
> make run/demo KERNEL=nova
> After build completed,
> find -name *hypervisor*
> ./var/run/demo/boot/hypervisor
> What did I miss?

If you invoke a script, using depot packages, you indeed get no binaries with symbols. The packages by default
contain only stripped binaries.

In this case you have to build the binary once, since you want to debug it, e.g. in your case:

make -C build/x86_64 KERNEL=nova kernel

to find in 


the binaries with debugging symbols.



Alexander Boettcher
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