diff --git a/base-nova/run/env b/base-nova/run/env index 0d1730287..bdabb49d3 100644 --- a/base-nova/run/env +++ b/base-nova/run/env @@ -132,6 +132,10 @@ proc run_genode_until {{wait_for_re forever} {timeout_value 0} {running_spawn_id spawn_amt $wait_for_re $timeout_value return } + if {[is_serial_available]} { + spawn_serial $wait_for_re $timeout_value "NOVA Microhypervisor" + return + } if {[is_qemu_available]} { spawn_qemu $wait_for_re $timeout_value return