On Thu, Sep 20, 2018 at 12:24 AM, Rebecca Cran <rebe...@bluestop.org>
wrote:
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.
Well, I said I built a 32-bit-EFI version of GRUB 2, and told *that* to
boot 64-bit FreeBSD kernel :)
Our loader.efi wasn't used.
_______________________________________________
freebsd-current@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-current
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"
