From 8913d227e040d724336023eeb1117858c698ab7a Mon Sep 17 00:00:00 2001 From: Martin Whitaker Date: Mon, 17 Dec 2018 20:35:03 +0000 Subject: Add 32-bit UEFI support to 64-bit ISO. --- config/build.cfg | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/config/build.cfg b/config/build.cfg index 38c7170..a3fc6c6 100644 --- a/config/build.cfg +++ b/config/build.cfg @@ -37,6 +37,9 @@ my $config = { 'config/pkg-exclude-to-review.lst', 'config/pkg-exclude-to-fix.lst', ], + biarch_packages => [ + if_($arch eq 'x86_64', 'grub2-efi') + ], system => { vga_mode => '791', }, @@ -62,7 +65,8 @@ my $config = { boot32_efi => 'bootloader/images/bootia32.efi' ), if_($arch eq 'x86_64', - efi_type => '64bit', + efi_type => 'all', + boot32_efi => 'bootloader/images/bootia32.efi', boot64_efi => 'bootloader/images/bootx64.efi' ), copy_from_repo => [ -- cgit v1.2.1