SERIAL
DEFAULT 0
LABEL 0
KERNEL mboot.c32
APPEND /hypervisor_x86_64 iommu novpid serial --- /image.elf