[arch-commits] Commit in edk2/trunk (PKGBUILD)

[David Runge]

    Date: Monday, June 22, 2020 @ 10:27:56
  Author: dvzrv
Revision: 390122

upgpkg: edk2 202005-2: Adding functionality to load 64bit kernels with the 32bit firmwares (FS#67046).

Modified:
  edk2/trunk/PKGBUILD

----------+
 PKGBUILD |    4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-06-22 10:01:24 UTC (rev 390121)
+++ PKGBUILD	2020-06-22 10:27:56 UTC (rev 390122)
@@ -5,7 +5,7 @@
 pkgbase=edk2
 pkgname=('edk2-shell' 'edk2-ovmf')
 pkgver=202005
-pkgrel=1
+pkgrel=2
 pkgdesc="Modern, feature-rich firmware development environment for the UEFI specifications"
 arch=('any')
 url="https://github.com/tianocore/edk2"
@@ -77,6 +77,7 @@
                        -b "${_build_type}" \
                        -n "$(nproc)" \
                        -t "${_build_plugin}" \
+                       -D LOAD_X64_ON_IA32_ENABLE \
                        -D NETWORK_IP6_ENABLE \
                        -D TPM2_ENABLE \
                        -D HTTP_BOOT_ENABLE \
@@ -92,6 +93,7 @@
                        -b "${_build_type}" \
                        -n "$(nproc)" \
                        -t "${_build_plugin}" \
+                       -D LOAD_X64_ON_IA32_ENABLE \
                        -D NETWORK_IP6_ENABLE \
                        -D TPM2_ENABLE \
                        -D HTTP_BOOT_ENABLE \