FreeBSD EFI projects

[Greg V]

On 09/18, Rebecca Cran wrote:
>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.

Yes, of course it was 64-bit.

I don't think I ever downloaded the 32-bit one...