diff --git a/Makefile.toml b/Makefile.toml
index a4b8552..7386667 100644
--- a/Makefile.toml
+++ b/Makefile.toml
@@ -58,9 +58,9 @@ QEMU_CONTAINER_CMD = "qemu-system-aarch64"
 #
 # Could additionally use -nographic to disable GUI -- this shall be useful for automated tests.
 #
-# -d in_asm,unimp,int
 # 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_DISASM_OPTS = "-d in_asm,unimp,int"
 QEMU_SERIAL_OPTS = "-serial null -serial stdio"
 QEMU_TESTS_OPTS = "-nographic"
 # For gdb connection: