OpenBSD doesn&#x27;t use GRUB. OpenBSD&#x27;s EFI loader is a port of the existing second-stage loader, boot(8). It can load both i386 and amd64 kernels, and there are EFI binaries for 64-bit and 32-bit firmware.