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.
