mb/ibm/sbp1: Update PCIe port slot number for NIC
[coreboot2.git] / configs / config.msi_ms7d25_ddr5
blobe26e99e8178798bad8174244d1748f730dc638d3
1 CONFIG_VENDOR_MSI=y
2 CONFIG_CBFS_SIZE=0x1000000
3 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
4 CONFIG_EDK2_BOOT_TIMEOUT=3
5 CONFIG_BOARD_MSI_Z690_A_PRO_WIFI_DDR5=y
6 CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y
7 CONFIG_PCIEXP_HOTPLUG=y
8 CONFIG_PCIEXP_HOTPLUG_PREFETCH_MEM_BELOW_4G=y
9 CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
10 CONFIG_POST_DEVICE_PCI_PCIE=y
11 CONFIG_POST_IO_PORT=0x80
12 CONFIG_PAYLOAD_EDK2=y
13 CONFIG_EDK2_REPOSITORY="https://github.com/Dasharo/edk2.git"
14 CONFIG_EDK2_TAG_OR_REV="origin/dasharo"
15 CONFIG_EDK2_CBMEM_LOGGING=y
16 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
17 CONFIG_EDK2_SD_MMC_TIMEOUT=1000
18 CONFIG_TPM2=y
19 CONFIG_TPM_MEASURED_BOOT=y
20 CONFIG_DRIVERS_GENERIC_CBFS_SERIAL=y
21 CONFIG_DRIVERS_GENERIC_CBFS_UUID=y