Date: Wed, 19 Sep 2018 15:24:17 -0600 From: Rebecca Cran <rebecca@bluestop.org> To: Greg V <greg@unrelenting.technology> Cc: Konstantin Belousov <kostikbel@gmail.com>, Warner Losh <imp@bsdimp.com>, FreeBSD Current <freebsd-current@freebsd.org> Subject: Re: FreeBSD EFI projects Message-ID: <beffbc01-5417-c0c4-9f44-6f24b8dd1c52@bluestop.org> In-Reply-To: <20180919095357.qwmm6p3pkbli4zww@unrelenting.technology> References: <1dbeee10-857e-7fb2-dac2-1047353739ba@bluestop.org> <CANCZdfpWQyR3KRKYjNRoxzJ1uEEXgT4LPQzgguLMjY=dMMcE%2Bg@mail.gmail.com> <3ce6e6cb-a608-2969-09d4-201df07df586@bluestop.org> <CANCZdfqP3qh-V916d8wyLiKL-Yj_5OBJ05n_85dURsTQbBMHQA@mail.gmail.com> <20180917200935.GD3161@kib.kiev.ua> <1537265515.2378.0@hraggstad.unrelenting.technology> <76404aad-40f3-e3ad-35b1-949fb5afb086@bluestop.org> <20180919095357.qwmm6p3pkbli4zww@unrelenting.technology>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?beffbc01-5417-c0c4-9f44-6f24b8dd1c52>