BIOS(4) - Device Drivers Manual (amd64) # BIOS(4) - Device Drivers Manual (amd64) NAME # bios - a driver for PC Firmware, aka BIOS SYNOPSIS # bios0 at mainbus0 DESCRIPTION # OpenBSD provides support for a limited subset of PC firmware (aka BIOS) subsystems on this platform. Only SMBIOS is supported. SMBIOS provides detail about system hardware configuration and is used to attach ipmi(4) on most systems. SEE ALSO # intro(4), ipmi(4) ...
BIOS(4) - Device Drivers Manual (i386) # BIOS(4) - Device Drivers Manual (i386) NAME # bios - a driver for PC Firmware, aka BIOS SYNOPSIS # bios0 at mainbus0 flags 0x0000 apm0 at bios0 flags 0x0000 pcibios0 at bios0 flags 0x0000 DESCRIPTION # OpenBSD provides support for PC firmware, aka BIOS and some of its functions, currently: APM subsystem, BIOS32 extensions, PCI BIOS subsystem. The bios driver also identifies BIOS type (such as “AT/286+”, which is almost always used in modern machines) and BIOS image date stamp, which is, presumably, the day the BIOS image was compiled by vendor and could be used as a crude BIOS version identification. ...
MPBIOS(4) - Device Drivers Manual (amd64) # MPBIOS(4) - Device Drivers Manual (amd64) NAME # mpbios - MP BIOS SYNOPSIS # mpbios0 at bios0 DESCRIPTION # The mpbios driver extracts configuration information from the BIOS on multiprocessor systems that conform to the Intel MultiProcessor Specification. This information is used to attach application processors and APICs, and to assign interrupts to ISA, EISA and PCI devices. On modern systems this information is provided by ACPI through the acpimadt(4) device. ...
MPBIOS(4) - Device Drivers Manual (i386) # MPBIOS(4) - Device Drivers Manual (i386) NAME # mpbios - MP BIOS SYNOPSIS # mpbios0 at bios0 DESCRIPTION # The mpbios driver extracts configuration information from the BIOS on multiprocessor systems that conform to the Intel MultiProcessor Specification. This information is used to attach application processors and APICs, and to assign interrupts to ISA, EISA and PCI devices. On modern systems this information is provided by ACPI through the acpimadt(4) device. ...
PCIBIOS(4) - Device Drivers Manual (i386) # PCIBIOS(4) - Device Drivers Manual (i386) NAME # pcibios - introduction to PCI BIOS support SYNOPSIS # pcibios0 at bios0 flags 0x0000 DESCRIPTION # OpenBSD provides support for setting up PCI controllers, bridges, and devices using information extracted from the BIOS. Ideally, the boot firmware of a machine (a.k.a. BIOS) should set up all PCI devices; assigning them I/O and memory addresses and interrupts. ...