FreeBSD EFI projects

[Ed Maste]

On 19 September 2018 at 10:34, Rodney W. Grimes
<freebsd-rwg at pdx.rh.cn85.dnsmgr.net> wrote:
>
> 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.

The Minnowboard Turbot has an Atom E3826, and has four precompiled
Tianocore UEFI firmware releases available: 32 and 64 bit in release
and debug builds. It's probably the most approachable development
platform for UEFI work on FreeBSD.