From 54865fdd0fcdabed5f1ead584aa6b2bc97c9b2ee Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 9 Feb 2017 14:04:04 +0100
Subject: [PATCH] Provide copy of config file of a run scenario

Fixes #2213
---
 tool/run/run | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tool/run/run b/tool/run/run
index f29fd99426..7145201b74 100755
--- a/tool/run/run
+++ b/tool/run/run
@@ -785,6 +785,9 @@ proc build_core_image {binaries} {
 	build_core $core_obj $modules [run_dir]/image.elf [core_link_address]
 	exec [cross_dev_prefix]strip [run_dir]/image.elf
 
+	# Save config part of the image.elf for easy inspection
+	exec cp -f  [run_dir]/genode/config [run_dir].config
+
 	# remove individual binaries, which are now contained in 'image.elf'
 	exec rm -rf [run_dir]/genode
 }