From a34227cdda4fdf65da4eecaf11c07f86330b9f85 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Wed, 12 Mar 2014 13:34:53 +0100 Subject: [PATCH] hw: use reliable start message in run env Previously for determining wether boot-up succeeded or not, we looked for a message that is switched off in release mode. Now the kernel provides a reliable message as soon as initialization is done. ref #1096 --- base-hw/run/env | 2 +- base-hw/src/core/kernel/kernel.cc | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/base-hw/run/env b/base-hw/run/env index 5b634927ca..5521d93fc1 100644 --- a/base-hw/run/env +++ b/base-hw/run/env @@ -207,7 +207,7 @@ proc run_genode_until {{wait_for_re forever} {timeout_value 0} {running_spawn_id return } if {[is_serial_available]} { - spawn_serial $wait_for_re $timeout_value "create local services" + spawn_serial $wait_for_re $timeout_value "kernel initialized" return } diff --git a/base-hw/src/core/kernel/kernel.cc b/base-hw/src/core/kernel/kernel.cc index fd7b695171..f5e33dfa77 100644 --- a/base-hw/src/core/kernel/kernel.cc +++ b/base-hw/src/core/kernel/kernel.cc @@ -267,6 +267,7 @@ extern "C" void init_kernel_multiprocessor() /* kernel initialization finished */ init_platform(); + Genode::printf("kernel initialized\n"); } reset_scheduling_time(processor_id); }