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... TIA, J