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

[Parfait Tok]

Hello,
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.
Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20200618/db4cb121/attachment.html>