FreeBSD EFI projects

[Greg V]

On Mon, Sep 17, 2018 at 11:09 PM, Konstantin Belousov 
<kostikbel at gmail.com> wrote:
> That said, making only the loader->kernel transition from EFI 32bit to
> 64bit kernel should be not too hard, and even significantly simpler 
> than
> to make 32bit EFI load 32bit kernel. amd64 kernels already aware that
> there might be no BIOS and they do not try to make vm86 calls into 
> real
> code, and only read memory map from the loader metadata etc.
> 
> Besides old Macs, this should also benefit newer Intel embedded-like
> boards.

Hi,

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 
:)