diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index 20ab06fd1..45d3aa7a7 100644
--- a/tool/run/boot_dir/hw
+++ b/tool/run/boot_dir/hw
@@ -96,6 +96,10 @@ proc run_boot_dir {binaries} {
 	build_core [run_dir]/genode/$core_obj $modules [run_dir]/genode/core.elf [core_link_address]
 	exec [cross_dev_prefix]strip [run_dir]/genode/core.elf
 	build_core [run_dir]/genode/$bootstrap_obj { core.elf } [run_dir]/image.elf [bootstrap_link_address]
+
+	# Save config part of the image.elf for easy inspection
+	exec cp -f [run_dir]/genode/config [run_dir].config
+
 	remove_genode_dir
 	exec [cross_dev_prefix]strip [run_dir]/image.elf
 
diff --git a/tool/run/boot_dir/linux b/tool/run/boot_dir/linux
index 72a34ca1f..cdf99ca67 100644
--- a/tool/run/boot_dir/linux
+++ b/tool/run/boot_dir/linux
@@ -17,6 +17,9 @@ proc run_boot_dir {binaries} {
 	# check syntax of all boot modules named *.config
 	foreach file [glob -nocomplain [run_dir]/genode/*.config] {
 		check_xml_syntax $file }
+
+	# Save config part of the image.elf for easy inspection
+	exec cp -f [run_dir]/genode/config [run_dir].config
 }