75 lines
2.0 KiB
TOML
75 lines
2.0 KiB
TOML
# 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 = "test/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 \
|
|
""" |