FreeBSD EFI projects

[Rodney W. Grimes]

> 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.

You would be hard pressed to find a system with a 64 bit CPU that
could run 64 bit FreeBSD that had a 32 bit EFI implementation.

Even finding a 32 bit EFI implementation,
at least in the x86 world is very hard to do.

-- 
Rod Grimes                                                 rgrimes at freebsd.org