From 69bc875ac700ae207f2076961251cb72c33567c0 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 10 Apr 2014 15:25:33 +0200
Subject: [PATCH] tool: increase amt reset timeout

---
 tool/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run b/tool/run
index 1fca39c5c..ce2ed2ce7 100755
--- a/tool/run
+++ b/tool/run
@@ -591,7 +591,7 @@ proc spawn_amt { wait_for_re timeout_value } {
 	#
 	# reset the box
 	#
-	set timeout 10
+	set timeout 20
 	set exit_result 1
 
 	while { $exit_result != 0 } {