On Mon, Sep 17, 2018 at 11:09 PM, Konstantin Belousov
<kostik...@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
:)
_______________________________________________
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"
