diff --git a/repos/base-foc/run/env b/repos/base-foc/run/env index 106fdd05ae..3418e2f733 100644 --- a/repos/base-foc/run/env +++ b/repos/base-foc/run/env @@ -291,7 +291,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 "Welcome to Fiasco.OC" + spawn_serial $wait_for_re $timeout_value "L4 Bootstrapper" return }