38c99b5659
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>
19 lines
610 B
Text
19 lines
610 B
Text
CONFIG_VENDOR_MSI=y
|
|
CONFIG_CBFS_SIZE=0x1000000
|
|
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
|
|
CONFIG_EDK2_BOOT_TIMEOUT=3
|
|
CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR4=y
|
|
CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
|
|
CONFIG_PCIEXP_HOTPLUG=y
|
|
CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G=y
|
|
CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
|
|
CONFIG_POST_DEVICE_PCI_PCIE=y
|
|
CONFIG_POST_IO_PORT=0x80
|
|
CONFIG_PAYLOAD_EDK2=y
|
|
CONFIG_EDK2_REPOSITORY="https://github.com/Dasharo/edk2.git"
|
|
CONFIG_EDK2_TAG_OR_REV="origin/dasharo"
|
|
CONFIG_EDK2_CBMEM_LOGGING=y
|
|
CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
|
|
CONFIG_EDK2_SD_MMC_TIMEOUT=1000
|
|
CONFIG_TPM2=y
|
|
CONFIG_TPM_MEASURED_BOOT=y
|