On Mon, Sep 17, 2018 at 11:09 PM, Konstantin Belousov <kostikbel_at_gmail.com> wrote: > That said, making only the loader->kernel transition from EFI 32bit to > 64bit kernel should be not too hard, and even significantly simpler > than > to make 32bit EFI load 32bit kernel. amd64 kernels already aware that > there might be no BIOS and they do not try to make vm86 calls into > real > code, and only read memory map from the loader metadata etc. > > Besides old Macs, this should also benefit newer Intel embedded-like > boards. Hi, I can confirm that the kernel already worked fine when booted from 32-bit EFI. I booted an old Mac into HardenedBSD using a 32-bit-EFI build of GRUB2 :)Received on Tue Sep 18 2018 - 08:12:27 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:18 UTC