From b331cc488ab46ab61b9364e4be0f30ce9fc67bd3 Mon Sep 17 00:00:00 2001
From: root <root@debian.home>
Date: Sat, 28 Sep 2019 18:10:47 +0100
Subject: [PATCH] hotpluggable EFI boot loaders basically need to be in
 /EFI/Boot/bootx64.efi as that's the default search path for EFI

---
 bootfiles/bootinst.bat | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/bootfiles/bootinst.bat b/bootfiles/bootinst.bat
index eb19345..bee2214 100755
--- a/bootfiles/bootinst.bat
+++ b/bootfiles/bootinst.bat
@@ -11,7 +11,7 @@ set BOOTFLAG=boot666s.tmp
 echo This file is used to determine current drive letter. It should be deleted. >\%BOOTFLAG%
 if not exist \%BOOTFLAG% goto readOnly
 
-echo wait please ...
+echo wait please ...
 for %%d in ( C D E F G H I J K L M N O P Q R S T U V W X Y Z ) do if exist %%d:\%BOOTFLAG% set DISK=%%d
 del \%BOOTFLAG%
 if %DISK% == none goto DiskNotFound
@@ -24,10 +24,16 @@ goto setup95
 
 :setupNT
 \boot\syslinux.exe -maf -d /boot/ %DISK%:
-goto setupDone
+goto setupEFI
 
 :setup95
 \boot\syslinux.com -maf -d /boot/ %DISK%:
+goto setupEFI
+
+:setupEFI
+mkdir %DISK%:\Boot\EFI
+copy \boot\EFI\* %DISK\Boot\EFI
+goto setupDone
 
 :setupDone
 echo Installation finished.