#OpenBSD в качестве BIOS’а по умолчанию для #vmm использует бинарник /etc/firmware/vmm-bios.

Судя по всему это собранный SeaBIOS:

SeaBIOS is an open source implementation of a 16bit X86 BIOS.

Со включенным внутрь sgabios модулем:

The Google Serial Graphics Adapter BIOS or SGABIOS provides a means for legacy x86 software to communicate with an attached serial console as if a video card were attached.

#seabios #sgabios