diff --git a/Makefile.toml b/Makefile.toml
index 7f5898d..78782e9 100644
--- a/Makefile.toml
+++ b/Makefile.toml
@@ -64,7 +64,7 @@ QEMU_CONTAINER_CMD = "qemu-system-aarch64"
 # Could additionally use -nographic to disable GUI -- this shall be useful for automated tests.
 #
 # QEMU has renamed the RasPi machines since version 6.2.0, use just `raspi3` for previous versions.
-QEMU_OPTS = "-M ${QEMU_MACHINE} -d int -semihosting"
+QEMU_OPTS = "-M ${QEMU_MACHINE} -semihosting"
 QEMU_ARM_TRACE_OPTS = "arm_gt_cntvoff_write,arm_gt_ctl_write,arm_gt_cval_write,arm_gt_imask_toggle,arm_gt_recalc,arm_gt_recalc_disabled,arm_gt_tval_write,armsse_cpu_pwrctrl_read,armsse_cpu_pwrctrl_write,armsse_cpuid_read,armsse_cpuid_write,armsse_mhu_read,armsse_mhu_write"
 QEMU_BCM_TRACE_OPTS = "bcm2835_cprman_read,bcm2835_cprman_write,bcm2835_cprman_write_invalid_magic,bcm2835_ic_set_cpu_irq,bcm2835_ic_set_gpu_irq,bcm2835_mbox_irq,bcm2835_mbox_property,bcm2835_mbox_read,bcm2835_mbox_write,bcm2835_sdhost_edm_change,bcm2835_sdhost_read,bcm2835_sdhost_update_irq,bcm2835_sdhost_write,bcm2835_systmr_irq_ack,bcm2835_systmr_read,bcm2835_systmr_run,bcm2835_systmr_timer_expired,bcm2835_systmr_write"
 QEMU_TRACE_OPTS = "trace:${QEMU_ARM_TRACE_OPTS},${QEMU_BCM_TRACE_OPTS}" # @todo trace: prefix for each opt