diff options
| author | David Runge <dvzrv@archlinux.org> | 2020-05-23 13:32:28 +0200 |
|---|---|---|
| committer | David Runge <dvzrv@archlinux.org> | 2020-05-30 19:30:52 +0200 |
| commit | 2ce375cd011ef9f124cfc8b19c1ceb30aba4f413 (patch) | |
| tree | a7161ca10904f063d9a34b3a31d1133c361c0fec /.gitattributes | |
| parent | ec5f5378c78942ac69c328f331a57fb4afdc9c3e (diff) | |
| download | archiso32-2ce375cd011ef9f124cfc8b19c1ceb30aba4f413.tar.xz | |
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.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions