Sounds more like a tech@ post. Sent from my iPhone
> On Jul 27, 2016, at 9:59 PM, Telnet Userid <[email protected]> wrote: > > Greetings, OpenBSD! > > Regarding my previous email that hasn't been answered, I just want to > confirm that OpenBSD 5.9 release bsd.rd kernel can't be booted via PXE > on EFI system. > > iPXE in EFI mode doesn't recognize bsd.rd as kernel. On bios mode, it's > possible to chainload pxeboot. > > GRUB is able to boot OpenBSD bsd.rd kernel directly on EFI over the > network (via kopenbsd) but it's unusable since GRUB boots OpenBSD in > blindmode. It means that no text is shown at the screen at all and this > makes it impossible to use it. > > GRUB has no problem booting bsd.rd kernel either locally or over the > network in BIOS mode. > > OpenBSD's own pxeboot doesn't work on EFI system. > > OpenBSD's BOOTX64.EFI doesn't seem to know if it's loaded via network so > that it doesn't work EFI network booting at the moment.

