From 1df1611f45fe86b438ef24053ef95ca993813599 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 20 Aug 2013 14:13:15 +0200
Subject: [PATCH] run: support target serial for base-nova

Issue #683
---
 base-nova/run/env | 4 ++++
 1 file changed, 4 insertions(+)

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