UEFI Firmware.
TianoCore edk2 has been used by bhyve since the implementation of UEFI. The current version is based off a 2014 snapshot with bhyve specific changes added. Over the time, it never really has been updated until recently by Rebecca Cran. Those changes have been merged into upstream to reduce the amount of work required to release newer versions based on the quarterly cadence that the
TianoCore project releases at. This will allow for upstream to be directly used in ports and stay updated.