On Wed, 13 Feb 2019 at 08:59, Chao Fan <fanc.f...@cn.fujitsu.com> wrote: > > On Wed, Feb 13, 2019 at 08:36:12AM +0100, Boris Petkov wrote: > >On February 13, 2019 2:54:29 AM GMT+01:00, Chao Fan > ><fanc.f...@cn.fujitsu.com> wrote: > >>Yes, your PATCH really works well. I tried both efi32 OVMF and efi64 > >>OVMF, all boot. > > > >What about the real hardware you are normally testing on? Boots there too? > > I testet it in a real EFI machine, it booted, but from command: > > cat /sys/firmware/efi/fw_platform_size > 64 > > We can see it's a 64-bit EFI firmware, and there is no 32-bit EFI firmware > available. >
Did you try booting 32-bit OVMF from 64-bit QEMU?