On Sunday, February 28, 2016 07:00:06 AM Joe Holden wrote:
> Hi all,
> Apologies if this is the wrong list...
> Is there any plan to support booting FreeBSD on 32bit UEFI systems (with
> or without 64bit kernel/userland)? Obviously there is no i386 efi loader
> currently so neither is possible...
I don't think anyone is actively working on it. I think it shouldn't be
that much work once the i386 loader is resurrected. The i386 kernel just
needs to use the EFI memory map and I think the rest of it should generally
email@example.com mailing list
To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"