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