kernel: gracefully handle no serial port

1 files changed, 3 insertions, 0 deletions

diff --git a/boot b/boot
index cb1c4a7..a1d3b8b 100755
--- a/boot
+++ b/boot
@@ -47,6 +47,9 @@ for opt; do
 		QTTY="-serial pipe:out/qemu"
 		POST="cat out/qemu.out"
 		;;
+	--no-serial)
+		QTTY="-serial none"
+		;;
 	*)
 		echo "unknown option $opt"
 		exit 1