From 28c25f120e3af46bb22c762941a3117a003e6372 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 27 Feb 2019 14:17:03 +0100
Subject: [PATCH] run: save [run_dir].config also on hw and linux

This was missing as boot_dir/hw and boot_dir/linux do not use
`proc build_core_image`.
---
 tool/run/boot_dir/hw    | 4 ++++
 tool/run/boot_dir/linux | 3 +++
 2 files changed, 7 insertions(+)

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
 }