image efi-part.vfat {
	vfat {
		file EFI/BOOT/bootaa64.efi {
			image = "xen"
		}

		file EFI/BOOT/bootaa64.cfg {
			image = "xen.cfg"
		}

		files = {
			"Image",
			"rootfs.cpio"
		}
	}

	size = 128M
}

image disk.img {
	hdimage {
		partition-table-type = "gpt"
	}

	partition boot {
		image = "efi-part.vfat"
		partition-type-uuid = U
		offset = 32K
		bootable = true
	}
}