Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10973
-gerrit
commit c33343d67c5e9f55459e7002589ea4198f9de7bc Author: Patrick Georgi patrick@georgi-clan.de Date: Fri Jul 17 23:31:19 2015 +0200
intel/kunimitsu: Fix Kconfig symbol type
BOOT_MEDIA_SPI_BUS is int, not hex.
Change-Id: I5cbcc3889a025caab921208037c8a61d224078a7 Signed-off-by: Patrick Georgi patrick@georgi-clan.de --- src/mainboard/intel/kunimitsu/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/mainboard/intel/kunimitsu/Kconfig b/src/mainboard/intel/kunimitsu/Kconfig index 01ca168..8971d71 100644 --- a/src/mainboard/intel/kunimitsu/Kconfig +++ b/src/mainboard/intel/kunimitsu/Kconfig @@ -30,7 +30,7 @@ config IRQ_SLOT_COUNT default 18
config BOOT_MEDIA_SPI_BUS - hex + int default 0
config INTEL_PCH_UART_CONSOLE_NUMBER