mb/ibm/sbp1: Update PCIe port slot number for NIC
[coreboot2.git] / configs / config.protectli_cml_vp46xx
blob11642325dbbaee9290f93ee5f06fd2bcbe9ff245
1 CONFIG_VENDOR_PROTECTLI=y
2 CONFIG_BOARD_PROTECTLI_VP46XX=y
3 CONFIG_TPM_MEASURED_BOOT=y
4 CONFIG_SMMSTORE_SIZE=0x40000
5 CONFIG_TPM2=y
6 CONFIG_POST_IO_PORT=0x80
7 CONFIG_PAYLOAD_EDK2=y
8 CONFIG_EDK2_BOOT_MANAGER_ESCAPE=y
9 CONFIG_EDK2_BOOT_TIMEOUT=6
10 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
11 # CONFIG_EDK2_FULL_SCREEN_SETUP is not set
12 CONFIG_EDK2_SD_MMC_TIMEOUT=10
13 CONFIG_EDK2_SERIAL_SUPPORT=y