path: root/configs/profile/
diff options
authorDavid P <>2019-03-07 16:02:39 -0300
committerDavid P <>2019-03-07 16:34:59 -0300
commit255474286a8a065fe9cd101e154ec2d6fb69e22f (patch)
tree032cd26e644f219ab134f8365b93ed1a5937fe12 /configs/profile/
parent325eacc9396fedbb1d4103867bfb32c446507125 (diff)
Add sha512 checksums for EFI Shell blobs
And download them from the latest tag, based on the UDK2018 branch (to follow archiso{32}), instead of the UDK2018 branch, which (due to the nature of git branches) I would have to update the checksums everytime someone updates the .efi files (although it is, in theory, not going to happen, since it's a branch from last year, but nah...) This should be temporary until someone gets EdkShellPkg to build successfully, because I've been able to build ShellPkg, but EdkShellPkg breaks, and it would be stupid to have ShellPkg built from source in our repos but EdkShellPkg directly from Github. However, that can be discussed. Looks like we would have to ship an special toolchain for building EdkShellPkg, since it is unmaitained (and obsolete, in fact it is no longer in the master branch of edk2), it may work with older GCC versions (I tried gcc5, looks like there is an improvement, but still breaks) Signed-off-by: David P <>
Diffstat (limited to 'configs/profile/')
1 files changed, 9 insertions, 3 deletions
diff --git a/configs/profile/ b/configs/profile/
index f82b418..553be01 100755
--- a/configs/profile/
+++ b/configs/profile/
@@ -24,7 +24,7 @@ script_path=$(readlink -f ${0%/*})
# All inits, except for systemd, use OpenRC as the
# daemon manager, so for example runit is in fact
-# runit + OpenRC. If this variable is left unset,
+# runit + OpenRC. If this variable is left unset,
# it will default to systemd
@@ -181,9 +181,15 @@ make_efi() {
${script_path}/efiboot/loader/entries/parabolaiso-x86_64-usb.conf > ${work_dir}/iso/loader/entries/parabolaiso-x86_64.conf
# EFI Shell 2.0 for UEFI 2.3+
- curl -o ${work_dir}/iso/EFI/shellx64_v2.efi
+ curl -o ${work_dir}/iso/EFI/shellx64_v2.efi
# EFI Shell 1.0 for non UEFI 2.3+
- curl -o ${work_dir}/iso/EFI/shellx64_v1.efi
+ curl -o ${work_dir}/iso/EFI/shellx64_v1.efi
+ # Checksums for EFI Shell
+ cp ${script_path}/SHA512SUMS ${work_dir}/iso/EFI/
+ cd ${work_dir}/iso/EFI/
+ sha512sum --quiet -c SHA512SUMS
+ rm SHA512SUMS
# Prepare efiboot.img::/EFI for "El Torito" EFI boot mode