Hello Do we have an i386 emulator that supports UEFI? qemu can boot from UEFI using OVMF, but as I understand the 32 bit build of OVMF is broken for a long time. Is there an old 32 bit OVMF binary somewhere? ANother option? -- Emmanuel Dreyfus manu%netbsd.org@localhost