soc/intel/xeon_sp/cpx: Fix PCU device IDs
[coreboot.git] / configs / config.msi_ms7d25_ddr4
blobfde405193c24b116fa9a941fc0622dcf443f6838
1 CONFIG_OPTION_BACKEND_NONE=y
2 CONFIG_VENDOR_MSI=y
3 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
4 CONFIG_EDK2_BOOT_TIMEOUT=3
5 CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR4=y
6 CONFIG_TPM_MEASURED_BOOT=y
7 CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
8 CONFIG_PCIEXP_HOTPLUG=y
9 CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G=y
10 CONFIG_DRIVERS_EFI_VARIABLE_STORE=y
11 CONFIG_DRIVERS_EFI_FW_INFO=y
12 CONFIG_DRIVERS_EFI_UPDATE_CAPSULES=y
13 CONFIG_DRIVERS_GENERIC_CBFS_SERIAL=y
14 CONFIG_DRIVERS_GENERIC_CBFS_UUID=y
15 CONFIG_TPM2=y
16 CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
17 CONFIG_POST_DEVICE_PCI_PCIE=y
18 CONFIG_PAYLOAD_EDK2=y
19 CONFIG_EDK2_REPOSITORY="https://github.com/Dasharo/edk2.git"
20 CONFIG_EDK2_TAG_OR_REV="origin/dasharo"
21 CONFIG_EDK2_CBMEM_LOGGING=y
22 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
23 CONFIG_EDK2_SD_MMC_TIMEOUT=1000