Hello everyone. While I am exploring the possibility of EFI (Extensible Firmware Interface) bootstrapping of FreeBSD to allow it to boot natively on my MacBook Pro without BIOS-emulation provided by Boot Camp, I am interested in knowing whether the i386/amd64 versions of FreeBSD rely on BIOS runtime services, so that FreeBSD will work as usual without BIOS. I found out that modern Linux implements its own low-level I/O without the BIOS facility. Could someone please tell me if FreeBSD does the same? Thank you.