# QEMU configuration for the Debian 13 virtual machine, shared by all
# architectures. The accelerators, machine type and
# platform-specific devices are in <os>-<arch>.ini (os is linux or darwin),
# which QEMU reads after this file.
#
# run-debian13.py fills in the file path placeholders below, writes the result
# to <state dir>/qemu.ini and passes it to QEMU with -readconfig. Options that
# have no -readconfig equivalent (-cpu, -display, daemon mode) are still added
# by the launcher.

[name]
  guest = "debian13"

[memory]
  size = "8G"

[smp-opts]
  cpus = "8"

# UEFI firmware: read-only code and the per-VM variable store.
[drive "pflash0"]
  if = "pflash"
  format = "raw"
  readonly = "on"
  file = "${uefi_code}"

[drive "pflash1"]
  if = "pflash"
  format = "raw"
  file = "${uefi_vars}"

# Writable qcow2 overlay on top of the shared base image.
[drive "disk0"]
  if = "none"
  format = "qcow2"
  file = "${disk_image}"

[device "disk0-dev"]
  driver = "virtio-blk-pci"
  drive = "disk0"

# cloud-init seed ISO.
[drive "seed0"]
  if = "none"
  format = "raw"
  readonly = "on"
  file = "${seed_image}"

[device "seed0-dev"]
  driver = "virtio-blk-pci"
  drive = "seed0"

# The NIC is attached to the user-mode network "net0", which the launcher
# defines with -netdev from qemu/debian13/forwards.conf because a config file
# section cannot hold more than one hostfwd.

[device "nic0"]
  driver = "virtio-net-pci"
  netdev = "net0"