soc/intel/xeon_sp/chip_common: Improve the domain ID
[coreboot2.git] / configs / config.protectli_vp2420
blob899a9560d60307b446a0fd8e5764ea1d4963b064
1 CONFIG_VENDOR_PROTECTLI=y
2 CONFIG_CBFS_SIZE=0x900000
3 CONFIG_ONBOARD_VGA_IS_PRIMARY=y
4 CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x20000
5 CONFIG_EDK2_BOOT_TIMEOUT=6
6 CONFIG_BOARD_PROTECTLI_VP2420=y
7 CONFIG_SMMSTORE_SIZE=0x40000
8 CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y
9 CONFIG_PAYLOAD_EDK2=y
10 CONFIG_EDK2_BOOT_MANAGER_ESCAPE=y
11 CONFIG_EDK2_FOLLOW_BGRT_SPEC=y
12 CONFIG_EDK2_SD_MMC_TIMEOUT=10
13 CONFIG_EDK2_SERIAL_SUPPORT=y