diff options
| author | Patrick Rudolph <patrick.rudolph@9elements.com> | 2019-06-14 18:54:32 +0200 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2019-06-21 12:54:18 +0000 |
| commit | db86a35ab686937fc4e4eb9a4f7417595bd9b519 (patch) | |
| tree | b7bd562c17a076f5c79b5755829e509a50184423 /src/mainboard/ocp/wedge100s/Kconfig | |
| parent | ffbc3b5f5fb0bdf57b6d5e3808e55e761241d8ba (diff) | |
mb/ocp/wedge100s: Use the new IPMI driver
* Enable decoding the IPMI KCS to LPC
* Select the IPMI driver
* Add the PNP device that holds the IPMI KCS base address
Tested on Wedge100s.
Change-Id: I35634bbcbe6893bd72ec7e41f6ca7bba09d819a2
Signed-off-by: Patrick Rudolph <patrick.rudolph@9elements.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/33489
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Diffstat (limited to 'src/mainboard/ocp/wedge100s/Kconfig')
| -rw-r--r-- | src/mainboard/ocp/wedge100s/Kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/mainboard/ocp/wedge100s/Kconfig b/src/mainboard/ocp/wedge100s/Kconfig index bd5e6655af..491829a084 100644 --- a/src/mainboard/ocp/wedge100s/Kconfig +++ b/src/mainboard/ocp/wedge100s/Kconfig @@ -16,6 +16,7 @@ config BOARD_SPECIFIC_OPTIONS select MAINBOARD_HAS_TPM1 select DRIVERS_UART_8250IO select SUPERIO_ITE_IT8528E + select IPMI_KCS config VBOOT select VBOOT_VBNV_CMOS |