Genode 20.05 : how to build kernel nova with debugging symbol ?
parfait.tok at pegolab.com
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
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
but with the 20.05 version, it does not help.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users