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
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
