[arch-releng] [RFC][PATCH][v2] [configs/releng] Add 32-bit EFI support

Gerardo Exequiel Pozzi vmlinuz386 at gmail.com
Sat Mar 11 13:06:25 UTC 2017

On 03/10/17 15:59, Thomas Bächler wrote:
> Am 07.03.2017 um 16:50 schrieb Gerardo Exequiel Pozzi via arch-releng:
>> Support booting 64-bit Linux, from 32-bit EFI firmware.
>> Only tested on qemu with ovmf, does not work at all.
>> cdrom mode: qemu stop with bad instruction address
>> hybrid mode: qemu just freeze at tianocore logo with a upper pixed dot.
> Are you sure you want to use syslinux for this? I tried this once with
> efilinux and had some success, but some problems as well. I am just
> asking because my experience with syslinux and EFI was very bad.
> Is this even a use case? What kind of machines come with 32 bit EFI?

Hi Thomas,

I do not like it, indeed I denied some past requests in our bugtracker,
because was a extreme corner case. But seems to be more common these
days, so lets bring a opportunity.

I want to first try syslinux since is the "natural" choice for ArchISO,
but actually does not work, and I opened a ticket in syslinux bugtracker
[#1] "[Bug 75] [EFI-32] booting "mixed" (x86_64) Linux 4.9/4.10
hang/reset (4.4 is OK)"

efilinux is not updated since long time, who knows if build with current

The last last last... option will be grub if a found a simple way to use it.

[#1] https://bugzilla.syslinux.org/show_bug.cgi?id=75

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.archlinux.org/pipermail/arch-releng/attachments/20170311/8cb78a73/attachment.asc>

More information about the arch-releng mailing list