From 6f6fb69dc9df5189443b7bf59d250718089a9e1f Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 15 Jun 2015 10:38:28 +0200
Subject: [PATCH] hw: keep config file in run directory

Issue #1580
---
 tool/run/boot_dir/hw | 1 +
 1 file changed, 1 insertion(+)

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