payloads/edk2: Disable the CPU Timer Lib unless supported
[coreboot.git] / src / mainboard / protectli / vault_bsw / Kconfig
blobe169392d6a0d4dc9d72b74bb45311a8e022b548c
1 if BOARD_PROTECTLI_FW2B || BOARD_PROTECTLI_FW4B
3 config BOARD_SPECIFIC_OPTIONS
4         def_bool y
5         select BOARD_ROMSIZE_KB_8192
6         select CACHE_MRC_SETTINGS
7         select DISABLE_HPET
8         select HAVE_ACPI_RESUME
9         select HAVE_ACPI_TABLES
10         select PCIEXP_L1_SUB_STATE
11         select SEABIOS_ADD_SERCON_PORT_FILE if PAYLOAD_SEABIOS
12         select SOC_INTEL_BRASWELL
13         select SPI_FLASH_MACRONIX
14         select SUPERIO_ITE_IT8613E
16 config MAINBOARD_DIR
17         default "protectli/vault_bsw"
19 config VARIANT_DIR
20         default "fw2b" if BOARD_PROTECTLI_FW2B
21         default "fw4b" if BOARD_PROTECTLI_FW4B
23 config OVERRIDE_DEVICETREE
24         default "variants/\$(CONFIG_VARIANT_DIR)/overridetree.cb"
26 config MAINBOARD_PART_NUMBER
27         default "FW2B" if BOARD_PROTECTLI_FW2B
28         default "FW4B" if BOARD_PROTECTLI_FW4B
30 config MAINBOARD_VENDOR
31         string
32         default "Protectli"
34 config DIMM_MAX
35         default 1
37 config DIMM_SPD_SIZE
38         default 256
40 config MAX_CPUS
41         int
42         default 2 if BOARD_PROTECTLI_FW2B
43         default 4 if BOARD_PROTECTLI_FW4B
45 config CBFS_SIZE
46         default 0x500000
48 config PXE_ROM_ID
49         string
50         default "8086,1539" if BOARD_PROTECTLI_FW2B
51         default "8086,157b" if BOARD_PROTECTLI_FW4B
53 if !RUN_FSP_GOP
55 config VGA_BIOS_ID
56         string
57         default "8086,22b0"
58         help
59           The VGA_BIOS_ID for the C0 version of the video bios is hardcoded
60           in soc/intel/braswell/Makefile.inc as 8086,22b1
62 endif #RUN_FSP_GOP
64 endif # BOARD_PROTECTLI_FW2B