From 73ea9f2e3556dd753b32ac4a2c34581a4126eab1 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Sat, 9 Sep 2023 16:55:10 +0200
Subject: kernel: gracefully handle no serial port

---
 boot | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'boot')

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
-- 
cgit v1.2.3