Martin Roth (gaumless@gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/6365
-gerrit
commit dc7798cdbacb5fd65213b8c1deb98a3636069ba7 Author: Martin Roth martin.roth@se-eng.com Date: Fri Jul 25 14:57:11 2014 -0600
src/Kconfig: Select SeaBIOS master branch by default if desired
This just adds a way to select the SeaBIOS master branch by default if desired. The Intel CRBs I'm adding have a single switch to set up the configuration the way that Intel desires. This allows that switch to set the platform to use the master branch.
Change-Id: I99fe7448ffbeb90b63878981f9dd8fc6b7d408f3 Signed-off-by: Martin Roth martin.roth@se-eng.com --- src/Kconfig | 8 ++++++++ 1 file changed, 8 insertions(+)
diff --git a/src/Kconfig b/src/Kconfig index 397b20c..5ebff3c 100644 --- a/src/Kconfig +++ b/src/Kconfig @@ -591,6 +591,7 @@ endchoice
choice prompt "SeaBIOS version" + default SEABIOS_MASTER if DEFAULT_TO_SEABIOS_MASTER default SEABIOS_STABLE depends on PAYLOAD_SEABIOS
@@ -605,6 +606,13 @@ config SEABIOS_MASTER
endchoice
+config DEFAULT_TO_SEABIOS_MASTER + bool + default n + depends on PAYLOAD_SEABIOS + help + Allow a platform to default to using the SeaBIOS master branch + config SEABIOS_PS2_TIMEOUT prompt "PS/2 keyboard controller initialization timeout (milliseconds)" if PAYLOAD_SEABIOS default 0