diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw index 43aa660b18..8c60906530 100644 --- a/tool/run/boot_dir/hw +++ b/tool/run/boot_dir/hw @@ -139,6 +139,7 @@ proc run_boot_dir {binaries} { exit -1 } clean_boot_modules + exec mv [run_dir]/genode/config [run_dir]/config exec rm -rf "[run_dir]/genode" # offer ELF image