Fixing driver name for monitor

nongiach · Aug 18, 2018 · 53393b3 · 53393b3
1 parent dc760ea
commit 53393b3
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/arm_now/arm_now.py b/arm_now/arm_now.py
@@ -123,11 +123,7 @@ def run_qemu(arch, kernel, dtb, rootfs, add_qemu_options):
     options = qemu_options[arch][1].format(arch=arch, kernel=kernel, rootfs=rootfs, dtb=dtb)
     arch = qemu_options[arch][0]
     print("Starting qemu-system-{}".format(arch))
-    dist = distribution()
-    if dist == "darwin":
-        qemu_config = "{add_qemu_options}".format(add_qemu_options=add_qemu_options)
-    else:
-        qemu_config = "-serial stdio -monitor /dev/null {add_qemu_options}".format(add_qemu_options=add_qemu_options)
+    qemu_config = "-serial stdio -monitor null {add_qemu_options}".format(add_qemu_options=add_qemu_options)
     cmd = """stty intr ^]
        export QEMU_AUDIO_DRV="none"
        qemu-system-{arch} {options} \