diff --git a/mkosi/dev-fedora/mkosi.postinst.d/00-install-edk2-arm.fish.chroot b/mkosi/dev-fedora/mkosi.postinst.d/00-install-edk2-arm.fish.chroot new file mode 100755 index 00000000..1abd6d81 --- /dev/null +++ b/mkosi/dev-fedora/mkosi.postinst.d/00-install-edk2-arm.fish.chroot @@ -0,0 +1,18 @@ +#!/usr/bin/env fish +# Description: Download and install edk2-arm from Debian, as the Fedora package was sunset: +# https://src.fedoraproject.org/rpms/edk2/c/53fa21dafcef14a7d264a89c2977cdbef58df770 + +if test "$ARCHITECTURE" != arm64 + return 0 +end + +set edk2_ver (curl -fLSs 'https://salsa.debian.org/qemu-team/edk2/-/raw/debian/latest/debian/changelog?ref_type=heads' | string match -gr '^edk2 \((.*)\) unstable;' | head -1) +or return +set edk2_deb qemu-efi-arm_"$edk2_ver"_all.deb + +set workdir (mktemp -d) +and curl -fLSso $workdir/$edk2_deb http://http.us.debian.org/debian/pool/main/e/edk2/$edk2_deb +and ar x --output $workdir $workdir/$edk2_deb +and tar -C $workdir -xJf $workdir/data.tar.xz +and install -Dvm644 $workdir/usr/share/AAVMF/AAVMF32_CODE.fd /usr/share/edk2/arm/QEMU_EFI.fd +and rm -fr $workdir