# The OSDK manifest at the Asterinas root virtual workspace # provides default OSDK settings for all packages. # The common options for build, run and test [boot] method = "grub-rescue-iso" [grub] protocol = "multiboot2" [qemu] args = "$(./tools/qemu_args.sh normal -ovmf)" # Special options for running [run.boot] kcmd_args = [ "SHELL=/bin/sh", "LOGNAME=root", "HOME=/", "USER=root", "PATH=/bin:/benchmark", "init=/usr/bin/busybox", ] init_args = ["sh", "-l"] initramfs = "regression/build/initramfs.cpio.gz" # Special options for testing [test.boot] method = "qemu-direct" [test.qemu] args = "$(./tools/qemu_args.sh test)" # Other Schemes [scheme."microvm"] boot.method = "qemu-direct" build.strip_elf = true qemu.args = "$(./tools/qemu_args.sh microvm)" [scheme."iommu"] supported_archs = ["x86_64"] qemu.args = "$(./tools/qemu_args.sh iommu)" [scheme."tdx"] supported_archs = ["x86_64"] build.features = ["intel_tdx"] boot.method = "grub-qcow2" grub.mkrescue_path = "~/tdx-tools/grub" grub.protocol = "linux" qemu.args = """\ -accel kvm \ -name process=tdxvm,debug-threads=on \ -m ${MEM:-8G} \ -smp ${SMP:-1} \ -vga none \ -nographic \ -monitor pty \ -no-hpet \ -nodefaults \ -monitor telnet:127.0.0.1:9003,server,nowait \ -object tdx-guest,sept-ve-disable,id=tdx,quote-generation-service=vsock:2:4050 \ -cpu host,-kvm-steal-time,pmu=off,tsc-freq=1000000000 \ -machine q35,kernel_irqchip=split,confidential-guest-support=tdx \ -device virtio-net-pci,netdev=mynet0,disable-legacy=on,disable-modern=off \ -device virtio-keyboard-pci,disable-legacy=on,disable-modern=off \ -device virtio-blk-pci,bus=pcie.0,addr=0x6,drive=x0,disable-legacy=on,disable-modern=off \ -drive file=fs.img,if=none,format=raw,id=x0 \ -netdev user,id=mynet0,hostfwd=tcp::10027-:22,hostfwd=tcp::54136-:8090 \ -chardev stdio,id=mux,mux=on,logfile=./$(date '+%Y-%m-%dT%H%M%S').log \ -device virtio-serial,romfile= \ -device virtconsole,chardev=mux \ -monitor chardev:mux \ -serial chardev:mux \ """