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

[Alexander Boettcher]

On 19.06.20 13:11, Parfait Tok wrote:
> Hi Alex,
> 
> 
> Le ven. 19 juin 2020 à 10:55, Alexander Boettcher <
> alexander.boettcher at genode-labs.com> 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 https://github.com/genodelabs/genode.git 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 

build/x86_64/debug

the binaries with debugging symbols.

Cheers,

Alex.

-- 
Alexander Boettcher
Genode Labs

https://www.genode-labs.com - https://www.genode.org

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