On 19.06.20 13:11, Parfait Tok wrote:
> Hi Alex,
>
>
> Le ven. 19 juin 2020 à 10:55, Alexander Boettcher <
> alexander.boettc...@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
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
