It's even easier for us to boot because OpenBSD doesn't use GRUB. OpenBSD'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 on the USB install media.
At this time 32-bit or 'i386' kernels don't support EFI yet, but there aren't many 32-bit CPUs out there.. more people probably run into the 32-bit EFI firmware with 64-bit CPU scenario.
I think Ted even wrote about the Asus X205TA on his blog before.
At this time 32-bit or 'i386' kernels don't support EFI yet, but there aren't many 32-bit CPUs out there.. more people probably run into the 32-bit EFI firmware with 64-bit CPU scenario.
I think Ted even wrote about the Asus X205TA on his blog before.