e68c6542fe
The file is updated significantly because it wasn't regenerated for a while. Change-Id: I2b18cb614f5fc38f2a417f7595475fdedfb6d625 Signed-off-by: Sergii Dmytruk <sergii.dmytruk@3mdeb.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/83423 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Martin L Roth <gaumless@gmail.com>
23 lines
761 B
Text
23 lines
761 B
Text
CONFIG_OPTION_BACKEND_NONE=y
|
|
CONFIG_VENDOR_MSI=y
|
|
CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
|
|
CONFIG_EDK2_BOOT_TIMEOUT=3
|
|
CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR4=y
|
|
CONFIG_TPM_MEASURED_BOOT=y
|
|
CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
|
|
CONFIG_PCIEXP_HOTPLUG=y
|
|
CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G=y
|
|
CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
|
|
CONFIG_DRIVERS_EFI_FW_INFO=y
|
|
CONFIG_DRIVERS_EFI_UPDATE_CAPSULES=y
|
|
CONFIG_DRIVERS_GENERIC_CBFS_SERIAL=y
|
|
CONFIG_DRIVERS_GENERIC_CBFS_UUID=y
|
|
CONFIG_TPM2=y
|
|
CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
|
|
CONFIG_POST_DEVICE_PCI_PCIE=y
|
|
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
|