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?

--