Comment # 6 on bug 1226727 from v bm

(In reply to Fabian Vogt from comment #5)
> Which system are you installing on? 32bit EFI on 64bit hardware is quite
> rare.
> 
> (In reply to Benjamin Brunner from comment #4)
> > This is not really a grub-bug either, after grub2-i386-efi is built but not
> > included in the MicroOS repository.
> > AFAIK, 32bit-EFI is also not supported for MicroOS.
> > 
> > Fabian, could you confirm, please?
> 
> FWICT it's supported by Tumbleweed so I don't see a reason to exclude it
> from MicroOS. It's likely just missing from the DVD, I made
> https://build.opensuse.org/request/show/1184289.

Thanks. I was going to point out the iso boots in the EFI32 and the install
runs normally until it can't find grub2-i386-efi, so it seems it knows it's on
EFI32 and how to set it up. :)