diff options
| author | Antonello Dettori <dev@dettori.io> | 2016-03-07 23:56:57 +0000 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-03-12 20:23:50 +0100 |
| commit | 3aa91dc7be67ced7d0d5cad5bfe0fb497d40e3db (patch) | |
| tree | 1669f0d93dc5dae39daa5b193d995deead94e535 /payloads/external/SeaBIOS/Kconfig | |
| parent | d68e0476e9d8249c6cee28ca526d2e8818d703a4 (diff) | |
payloads/seabios: Add "git revision" to the SeaBIOS version menu
Add an option to specify a git revision from which to build SeaBIOS.
Change-Id: Ifbf3b82e784f79395ab7cd07c5804f72928d7640
Signed-off-by: Antonello Dettori <dev@dettori.io>
Reviewed-on: https://review.coreboot.org/13937
Reviewed-by: Alexander Couzens <lynxis@fe80.eu>
Tested-by: build bot (Jenkins)
Diffstat (limited to 'payloads/external/SeaBIOS/Kconfig')
| -rw-r--r-- | payloads/external/SeaBIOS/Kconfig | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/payloads/external/SeaBIOS/Kconfig b/payloads/external/SeaBIOS/Kconfig index 5a9d52f9ab..94aac8f46f 100644 --- a/payloads/external/SeaBIOS/Kconfig +++ b/payloads/external/SeaBIOS/Kconfig @@ -12,9 +12,25 @@ config SEABIOS_MASTER bool "master" help Newest SeaBIOS version +config SEABIOS_REVISION + bool "git revision" + help + Select this option if you have a specific commit or branch + that you want to use as the revision from which to + build SeaBIOS. + + You will be able to specify the name of a branch or a commit id + later. endchoice +config SEABIOS_REVISION_ID + string "Insert a commit's SHA-1 or a branch name" + depends on SEABIOS_REVISION + default "origin/master" + help + The commit's SHA-1 or branch name of the revision to use. + config SEABIOS_PS2_TIMEOUT prompt "PS/2 keyboard controller initialization timeout (milliseconds)" default 0 |