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

Parfait Tok parfait.tok at
Thu Jun 18 22:33:53 CEST 2020

With the latest version, I don't know where to find the kernel binary
(Nova) with its
debugging symbols.
Is there any option to pass to the building script in order to get this? Or
how to modify
the script to generate the kernel debugging symbols?
I used to comment the line

> exec [cross_dev_prefix]strip [run_dir]/boot/hypervisor
in file

> tool/run/boot_dir/nova
but with the 20.05 version, it does not help.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list