From b8c107ceb20182b3bcc9db841075dc78a3fa85f3 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 1 May 2015 19:59:16 +0200
Subject: [PATCH] sel4: let run tool support core and non-core tests

---
 tool/run/boot_dir/sel4 | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/tool/run/boot_dir/sel4 b/tool/run/boot_dir/sel4
index 4f08a842b..4a5d0652d 100644
--- a/tool/run/boot_dir/sel4
+++ b/tool/run/boot_dir/sel4
@@ -24,9 +24,15 @@ proc run_boot_dir {binaries} {
 		puts $fh "default 0"
 		puts $fh "\ntitle Genode on seL4"
 		puts $fh " kernel /sel4"
-		foreach binary $binaries {
-			if {$binary != "core"} {
-				puts $fh " module /genode/$binary" } }
+
+		# if only one binary was specified, use it as root task
+		if {[llength $binaries] == 1} {
+			puts $fh " module /genode/[lindex $binaries 0]"
+
+		# for real scenarios, use core as root task
+		} else {
+			puts $fh " module /genode/core"
+		}
 		close $fh
 	}