From 0d5fdcc060cb9724429dcd0d32a1de8e09d6bde7 Mon Sep 17 00:00:00 2001
From: root <root@debian.home>
Date: Sat, 28 Sep 2019 16:45:01 +0000
Subject: [PATCH] Previously, we didn't have the EFI boot files being copied
 into the right place for the raw build output, cab404 uses the bootinsh.sh
 which is run when creating an ISO rather than producing a build with EFI
 embedded (which I'm attempting to do)

---
 build | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/build b/build
index 582a265..8cba4cb 100755
--- a/build
+++ b/build
@@ -54,6 +54,12 @@ cat bootfiles/syslinux.cfg | sed -r "s:/boot/:/$LIVEKITNAME/boot/:" > $BOOT/sysl
 cat bootfiles/bootinst.bat | sed -r "s:/boot/:/$LIVEKITNAME/boot/:" | sed -r "s:\\\\boot\\\\:\\\\$LIVEKITNAME\\\\boot\\\\:" > $BOOT/bootinst.bat
 cp $VMLINUZ $BOOT/ || exit
 
+mkdir -p $BOOT/EFI/Boot
+cp bootfiles/efi-files/syslinux.efi $BOOT/EFI/Boot/bootx64.efi
+cp bootfiles/efi-files/{ldlinux.e64,menu.c32,libutil.32} $BOOT/EFI/Boot
+cp $BOOT/syslinux.cfg $BOOT/EFI/Boot/syslinux.cfg
+
+
 # create compressed 01-core.sb
 COREFS=""
 for i in $MKMOD; do