On 9/18/18 4:11 AM, Greg V wrote: > > I can confirm that the kernel already worked fine when booted from > 32-bit EFI. > > I booted an old Mac into HardenedBSD using a 32-bit-EFI build of GRUB2 :) Was that a 64-bit version of FreeBSD? My understanding is the 32-bit FreeBSD boots fine, but 64-bit needs work. -- Rebecca