From 2ce375cd011ef9f124cfc8b19c1ceb30aba4f413 Mon Sep 17 00:00:00 2001 From: David Runge Date: Sat, 23 May 2020 13:32:28 +0200 Subject: Using edk2-shell for UEFI shell configs/releng/build.sh: Instead of downloading UDK2018 based edk2 UEFI shell, use the Shell binaries from the edk2-shell package. This effectively makes the use of EFI shell v1 obsolete. configs/releng/efiboot/loader/entries/uefi-shell-v*: Renaming UEFI shell entries to match the packaged edk2-shell based UEFI shell binaries. configs/releng/build.sh: Renaming the systemd-boot bootloader entries for UEFI shell (normal and full version) to reflect their file names, which are derived from the binary names in the edk2-shell package. Copying the edk2-shell based UEFI shell binaries for normal efiboot and .iso based "el-torito" efiboot mode. docs/README.build: Adding edk2-shell to the requirements in the documentation, as the package is now used to provide UEFI shell. --- configs/releng/efiboot/loader/entries/uefi-shell-x86_64.conf | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 configs/releng/efiboot/loader/entries/uefi-shell-x86_64.conf (limited to 'configs/releng/efiboot/loader/entries/uefi-shell-x86_64.conf') diff --git a/configs/releng/efiboot/loader/entries/uefi-shell-x86_64.conf b/configs/releng/efiboot/loader/entries/uefi-shell-x86_64.conf new file mode 100644 index 0000000..b5dfbf2 --- /dev/null +++ b/configs/releng/efiboot/loader/entries/uefi-shell-x86_64.conf @@ -0,0 +1,2 @@ +title UEFI Shell x86_64 +efi /EFI/Shell_x64.efi -- cgit v1.2.3-70-g09d2