Kyösti Mälkki (kyosti.malkki@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/5626 -gerrit commit f678a9bcae2429023b94964b4d65dcdc597c740c Author: Kyösti Mälkki <kyosti.malkki@gmail.com> Date: Thu May 1 00:02:43 2014 +0300 console: Fix UART selection prompt Without this change, removal of default UART_FOR_CONSOLE entries under mainboard/ Kconfig will remove this option entirely from created .config file. Change-Id: I11422ddb8c51abca177f999936c995ae0c91c459 Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com> --- src/console/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/console/Kconfig b/src/console/Kconfig index 887c1e2..51371bc 100644 --- a/src/console/Kconfig +++ b/src/console/Kconfig @@ -41,7 +41,7 @@ if CONSOLE_SERIAL depends on HAVE_UART_SPECIAL config UART_FOR_CONSOLE - prompt "Index for UART port to use for console" + int "Index for UART port to use for console" default 0 # FIXME: Early programming in romstage is incorrect as we should