From 93a018701351d71d76d3c03cd9a4901ef499d6fc Mon Sep 17 00:00:00 2001
From: Ettore Di Giacinto <mudler@gentoo.org>
Date: Mon, 25 Feb 2019 18:00:28 +0100
Subject: [PATCH] Add support for 32bit EFI devices

Some devices (e.g. Intel Sticks 1st gen, and others) has 32bit EFI, which requires a 32bit efi shell.
We build it within the build service.
See https://github.com/Sabayon/sbi-tasks/blob/master/static/grub-efi32bit.yaml
---
 scripts/make_grub_efi.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/make_grub_efi.sh b/scripts/make_grub_efi.sh
index 57a4c2a..95385ac 100755
--- a/scripts/make_grub_efi.sh
+++ b/scripts/make_grub_efi.sh
@@ -196,6 +196,10 @@ if [ -f "${efi_x86_64_file}" ] || [ -f "${efi_i386_file}" ]; then
 	mount -o loop "${efi_img}" "${tmp_dir}" || exit 1
 	mkdir -p "${tmp_dir}/efi/boot" || exit 1
 
+	# Always add support for 32bit EFI
+	echo "Add EFI32bit support"
+	wget https://dispatcher.sabayon.org/sbi/namespace/static%3A%3Agrub-efi32bit/bootia32.efi -O ${efi_i386_file}
+
 	# copy our .efi executables in place
 	cp -Rp "${EFI_BOOT_DIR}"/* "${tmp_dir}/efi/boot/" || exit 1