FreeBSD EFI projects

[Rodney W. Grimes]

> On 9/19/18 3:53 AM, Greg V wrote:
> 
> >
> > Yes, of course it was 64-bit.
> >
> > I don't think I ever downloaded the 32-bit one...
> 
> 
> And are you sure it was booted via EFI and not the BIOS emulation CSM 
> (Compatibility Support Module)? I'm fairly sure we _don't_ support 
> booting a 64-bit kernel from 32-bit EFI yet.

I concur.  Infact I think we fall pretty hard on our face in the
loader code if you run on EFI32 without CSM.

-- 
Rod Grimes                                                 rgrimes at freebsd.org