On Thu, Sep 20, 2018 at 12:24 AM, Rebecca Cran <rebecca_at_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.Received on Thu Sep 20 2018 - 08:02:54 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:18 UTC