guest.cfg

kernel="/mnt/host/linux/arch/arm64/boot/Image"
memory=160
vcpus=1
command="console=hvc0 earlycon=xenboot"
ramdisk = "/mnt/host/out-br-domu/images/rootfs.cpio.gz"
name="domu"
tee="optee"