From f89bbcb653e73640fb79d1f3b040fa3f613281b9 Mon Sep 17 00:00:00 2001
From: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Date: Sat, 11 Oct 2025 15:11:13 +0200
Subject: [PATCH] image: export efi32-disk-image.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/build/image.scm (efi32-disk-image): Export.

Change-Id: I45ddcdafab12cdcc8f33a574f55387651f1048f8
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 gnu/system/image.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/system/image.scm b/gnu/system/image.scm
index af0f3eb354d..4693e13d164 100644
--- a/gnu/system/image.scm
+++ b/gnu/system/image.scm
@@ -81,6 +81,7 @@
             mbr-disk-image
             mbr-hybrid-disk-image
             efi-disk-image
+            efi32-disk-image
             iso9660-image
             docker-image
             tarball-image