The driver can be found in
src/drivers/ipmi/. It works with BMC that provide a KCS I/O interface as specified in the IPMI standard.
The driver detects the IPMI version, reserves the I/O space in coreboot's resource allocator and writes the required ACPI and SMBIOS tables.
To use the driver, select the
IPMI_KCS Kconfig and add the following PNP device under the LPC bridge device (in example for the KCS at 0xca2):
chip drivers/ipmi device pnp ca2.0 on end # IPMI KCS end
Note: The I/O base address needs to be aligned to 2.
The following registers can be set:
nv_storage_device_addresswill be added to SMBIOS type 38.
apic_interruptwill be added to SPMI table.
gpe_interruptwill be added to SPMI table.