From 958bf4d9032049f2e4dc010febf9e9be3f08b730 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 1 Mar 2016 10:49:23 +0100
Subject: [PATCH] run: successful-boot detection string for sel4

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

diff --git a/tool/run/boot_dir/sel4 b/tool/run/boot_dir/sel4
index 1affd22c6..59c6d93f6 100644
--- a/tool/run/boot_dir/sel4
+++ b/tool/run/boot_dir/sel4
@@ -15,7 +15,7 @@ proc run_boot_dir_hook { } {
 
 
 proc run_boot_string { } {
-	return "kernel initialized"
+	return "Starting node #0"
 }