diff options
Diffstat (limited to 'scripts/runqemu')
-rwxr-xr-x | scripts/runqemu | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/runqemu b/scripts/runqemu index 09c507dc7a..82711606f6 100755 --- a/scripts/runqemu +++ b/scripts/runqemu | |||
@@ -68,6 +68,7 @@ SCRIPT_QEMU_OPT="" | |||
68 | SCRIPT_QEMU_EXTRA_OPT="" | 68 | SCRIPT_QEMU_EXTRA_OPT="" |
69 | SCRIPT_KERNEL_OPT="" | 69 | SCRIPT_KERNEL_OPT="" |
70 | SERIALSTDIO="" | 70 | SERIALSTDIO="" |
71 | TCPSERIAL_PORTNUM="" | ||
71 | KVM_ENABLED="no" | 72 | KVM_ENABLED="no" |
72 | KVM_ACTIVE="no" | 73 | KVM_ACTIVE="no" |
73 | 74 | ||
@@ -150,6 +151,9 @@ while true; do | |||
150 | SCRIPT_KERNEL_OPT="$SCRIPT_KERNEL_OPT console=ttyS0" | 151 | SCRIPT_KERNEL_OPT="$SCRIPT_KERNEL_OPT console=ttyS0" |
151 | SERIALSTDIO="1" | 152 | SERIALSTDIO="1" |
152 | ;; | 153 | ;; |
154 | "tcpserial="*) | ||
155 | TCPSERIAL_PORTNUM=${arg##tcpserial=} | ||
156 | ;; | ||
153 | "biosdir="*) | 157 | "biosdir="*) |
154 | CUSTOMBIOSDIR="${arg##biosdir=}" | 158 | CUSTOMBIOSDIR="${arg##biosdir=}" |
155 | ;; | 159 | ;; |