$(INSTALL_DATA) syslinux/com32/mboot/*.c32 dist/common/
$(INSTALL_DATA) syslinux/com32/menu/*.c32 dist/common/
+.PHONY: xtt-efi
+xtt-efi:
+ $(INSTALL_DIR) dist/efi/EFI/BOOT/
+ $(INSTALL_DATA) dist/common/* dist/efi/EFI/BOOT/
+ rm -f dist/efi/EFI/BOOT/*.c32
+ rm -f dist/efi/EFI/BOOT/xen.gz
+ $(INSTALL_DATA) boot/efi/* dist/efi/EFI/BOOT
+ dd if=/dev/zero bs=1M count=128 of=./dist/efiboot.img
+ mkfs.vfat -n "XTT-UEFI-ISO" dist/efiboot.img
+ mkdir -p dist/loop
+ sudo mount -t vfat -o loop dist/efiboot.img dist/loop
+ sudo cp -Rf dist/efi/* dist/loop;
+ sudo umount dist/loop
+ mv dist/efiboot.img dist/iso
+ mkisofs -boot-info-table -no-emul-boot \
+ -b isolinux/isolinux.bin \
+ -c isolinux/boot.cat -boot-load-size 4 -boot-info-table \
+ -eltorito-alt-boot -e efiboot.img -no-emul-boot \
+ -o dist/root_image-uefi.iso dist/iso
+ mv dist/iso/efiboot.img dist/
+
.PHONY: xtt-iso
xtt-iso: xtt-common
$(INSTALL_DIR) dist/iso/isolinux/