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. -- RebeccaReceived on Wed Sep 19 2018 - 19:24:21 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:18 UTC