Has anyone had any luck installing FreeBSD (32 bit or 64 bit) on a 32-bit EFI system?
Supposedly on https://wiki.freebsd.org/UEFI it says that 32 bit EFI is not yet supported, but Id like to ask if someone has some insight about how to get it working. I already have on this laptop a fully working 64bit Arch Linux and I want to have additionally FreeBSD on dual boot, with 32-bit EFI grub already installed and working on a EFI partition.
Also, since I already have a working example on Linux, I could help developing 32 bit EFI support in FreeBSD.
Supposedly on https://wiki.freebsd.org/UEFI it says that 32 bit EFI is not yet supported, but Id like to ask if someone has some insight about how to get it working. I already have on this laptop a fully working 64bit Arch Linux and I want to have additionally FreeBSD on dual boot, with 32-bit EFI grub already installed and working on a EFI partition.
Also, since I already have a working example on Linux, I could help developing 32 bit EFI support in FreeBSD.