Re: Can't boot GNU Mach with efi

[Paul Dufresne]

I can't boot current in UEFI on "recent: Prime H310M-C CR2.0 motherboard.

Here on Ubuntu, I see the CD have:
/media/paul/Debian sid h-i386 1/EFI/boot/bootia32.efi
nothing else in that /EFI/boot directory.

I am really unsure, but I feel this file is for people having to boot 32 bits 
(U)EFI.
Most people have 64 bits (U)EFI.

Searcing confirmation:

https://wiki.debian.org/UEFI
leads to think to use bootia32.efi

>From 
>https://www.congatec.com/fileadmin/user_upload/Documents/Application_Notes/AN31_Creating_a_UEFI_Stick.pdf
Section 2.2
I tend to think this is linked to the UEFI PC... I think if your PC is 64 bits 
and you want to run 32 bit OS you need: BOOTX64.efi

But like said, better have the two to work on both.