diff options
| author | Sean Rhodes <sean@starlabs.systems> | 2022-07-13 10:11:44 +0100 |
|---|---|---|
| committer | Martin L Roth <gaumless@gmail.com> | 2022-08-13 16:35:18 +0000 |
| commit | 38c99b56599d2b11d68c844e9f2adda9050b8efa (patch) | |
| tree | de43b09f7bac0e010ac6c77f0bf7edfdc09ae981 /src/mainboard/google/hatch/Kconfig | |
| parent | 8f7f4bf87a238dd046a376804b9e53162092f601 (diff) | |
payloads/tianocore: Rename TianoCore to edk2
coreboot uses TianoCore interchangeably with EDK II, and whilst the
meaning is generally clear, it's not the payload it uses. EDK II is
commonly written as edk2.
coreboot builds edk2 directly from the edk2 repository. Whilst it
can build some components from edk2-platforms, the target is still
edk2.
[1] tianocore.org - "Welcome to TianoCore, the community supporting"
[2] tianocore.org - "EDK II is a modern, feature-rich, cross-platform
firmware development environment for the UEFI and UEFI Platform
Initialization (PI) specifications."
Signed-off-by: Sean Rhodes <sean@starlabs.systems>
Change-Id: I4de125d92ae38ff8dfd0c4c06806c2d2921945ab
Reviewed-on: https://review.coreboot.org/c/coreboot/+/65820
Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'src/mainboard/google/hatch/Kconfig')
| -rw-r--r-- | src/mainboard/google/hatch/Kconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mainboard/google/hatch/Kconfig b/src/mainboard/google/hatch/Kconfig index 712ed06e7c..2d8ee15766 100644 --- a/src/mainboard/google/hatch/Kconfig +++ b/src/mainboard/google/hatch/Kconfig @@ -285,7 +285,7 @@ config VBOOT config USE_PM_ACPI_TIMER default n -config TIANOCORE_BOOT_TIMEOUT +config EDK2_BOOT_TIMEOUT int default 5 if BOARD_GOOGLE_BASEBOARD_PUFF |