From 68710cedf139649b9c0a9abb08de9786af4d34f9 Mon Sep 17 00:00:00 2001
From: desertwitch <24509509+desertwitch@users.noreply.github.com>
Date: Wed, 18 Feb 2026 10:26:09 +0100
Subject: [PATCH] chore(board): add 32-bit EFI to IMG

---
 board/shredos/genimage.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/board/shredos/genimage.cfg b/board/shredos/genimage.cfg
index 0dce8f782c..8242ab1bc9 100644
--- a/board/shredos/genimage.cfg
+++ b/board/shredos/genimage.cfg
@@ -6,6 +6,7 @@ image boot.vfat {
                 file boot/version.txt       { image = 'version.txt' }
                 file boot/shredos.id        { image = '/dev/null' }
                 file boot/memtest           { image = 'memtest.bin' }
+                file EFI/BOOT/bootia32.efi  { image = 'bootia32.efi' }
                 file EFI/BOOT/bootx64.efi   { image = 'bootx64.efi' }
                 file EFI/BOOT/grub.cfg      { image = 'grub.cfg' }
                 file EFI/BOOT/memtest.efi   { image = 'memtest.efi' }