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.
-- Rebecca _______________________________________________ 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"
