diff --git a/tool/run/boot_dir/sel4 b/tool/run/boot_dir/sel4
index 1affd22c64..59c6d93f66 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"
 }