set(EMU_PLATFORM qemu)

if(NOT CONFIG_REBOOT)
  set(REBOOT_FLAG -no-reboot)
endif()

set(QEMU_CPU_TYPE_${ARCH} kvm64,-kvm_pv_eoi,-kvm_steal_time,-kvm_asyncpf,-kvmclock,+vmx,+x2apic,+arat)
set(QEMU_FLAGS_${ARCH}
  -machine q35,kernel_irqchip=split
  ${REBOOT_FLAG}
  -m 1G
  -enable-kvm
  -smp 4
  -device intel-iommu,intremap=on,x-buggy-eim=on
  -cpu ${QEMU_CPU_TYPE_${ARCH}}
  -drive file=${JAILHOUSE_QEMU_IMG_FILE},format=qcow2,id=disk,if=none
  -device ide-hd,drive=disk
  -serial mon:stdio
  -serial vc -netdev user,id=net
  -device e1000e,addr=2.0,netdev=net
  -device intel-hda,addr=1b.0
  -device hda-duplex
  -fsdev local,path=./,security_model=passthrough,id=vfs
  -device virtio-9p-pci,addr=1f.7,mount_tag=host,fsdev=vfs
  )

# TODO: Support debug
# set(DEBUG_SCRIPT qemu.sh)
# debugserver: QEMU_EXTRA_FLAGS += -s -S
# debugserver: qemu