extra/edk2: only build IA-32 version of firmware

1 files changed, 22 insertions, 0 deletions

diff --git a/extra/edk2/PKGBUILD b/extra/edk2/PKGBUILD
new file mode 100644
index 00000000..8c262e82
--- /dev/null
+++ b/extra/edk2/PKGBUILD
@@ -0,0 +1,22 @@
+# no AARCH66
+makedepends=(${makedepends[@]//aarch64-linux-gnu-gcc/})
+pkgname=(
+  $(
+    printf '%s\n' "${pkgname[@]}" | \
+      grep -v '^edk2-armvirt'
+  )
+)
+_arch_list=(
+  $(
+    printf '%s\n' "${_arch_list[@]}" | \
+      grep -v '^AARCH64'
+  )
+)
+
+# no AMD64
+_arch_list=(
+  $(
+    printf '%s\n' "${_arch_list[@]}" | \
+      grep -v '^X64'
+  )
+)