project_type = "kernel"

supported_archs = ["x86_64"]

[boot]
method = "grub-rescue-iso"

[run]
boot.kcmd_args = [
    "SHELL=/bin/sh",
    "LOGNAME=root",
    "HOME=/",
    "USER=root",
    "PATH=/bin:/benchmark",
    "init=/usr/bin/busybox",
]
boot.init_args = ["sh", "-l"]
boot.initramfs = "/tmp/osdk_test_file"

[test]
boot.method = "qemu-direct"

[grub]
boot_protocol = "multiboot2"
display_grub_menu = true

[qemu]
args = """\
    -machine q35 \
    -smp $SMP \
    -m $MEM \
"""

[scheme."iommu"]
supported_archs = ["x86_64"]
qemu.args = """\
    -device intel-iommu,intremap=on,device-iotlb=on \
    -device ioh3420,id=pcie.0,chassis=1\
"""

[scheme."tdx"]
supported_archs = ["x86_64"]
build.features = ["cvm_guest"]
boot.method = "grub-qcow2"
grub.mkrescue_path = "/tmp/osdk_test_file"
grub.protocol = "linux"
qemu.path = "/tmp/osdk_test_file"
