diff --git a/base-hw/run/env b/base-hw/run/env index edd1ab529..5b634927c 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 "Kernel started!" + spawn_serial $wait_for_re $timeout_value "create local services" return }