Hello,
I am using Genode with Nova kernel and I would like to build seoul-net
scenario with the un-stripped binaries (the kernel also included) for
debugging purpose. Currently, the build script uses stripped binaries by
default.
I found in old mailing exchanges that this may be achieved by commenting
'copy_and_strip_genode_binaries_to_run_dir' in tool/run/run but this line
is not available anymore in the current version.
How can I instruct the build script to use the debugging binaries?
--
Parfait T.
