Copy UEFI Shell to (ISO)/EFI/boot/bootx64.efi for setting up UEFI bootable USB and add refind-efi-x86_64 to ISO

1 files changed, 10 insertions, 0 deletions

diff --git a/configs/releng/efiboot/EFI/boot/startup_iso.nsh b/configs/releng/efiboot/EFI/boot/startup_iso.nsh
new file mode 100644
index 0000000..5c35ca8
--- /dev/null
+++ b/configs/releng/efiboot/EFI/boot/startup_iso.nsh
@@ -0,0 +1,10 @@
+@echo -off
+
+for %m run (0 20)
+    if exist fs%m:\EFI\archiso\vmlinuz.efi then
+        fs%m:
+        cd fs%m:\EFI\archiso
+        echo "Launching Arch Linux ISO Kernel fs%m:\EFI\archiso\vmlinuz.efi"
+        vmlinuz.efi archisobasedir=%INSTALL_DIR% archisolabel=%ARCHISO_LABEL% initrd=\EFI\archiso\archiso.img
+    endif
+endfor