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

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

		files = {
			"Image",
		}
	}

	size = 16M
}

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

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

	partition root {
		partition-type-uuid = root-arm64
		image = "rootfs.ext2"
	}
}
