# amd64 part of the Debian 13 QEMU configuration; read after debian13.ini.

[machine]
  type = "q35"