1 if BOARD_PROTECTLI_FW2B || BOARD_PROTECTLI_FW4B
3 config BOARD_SPECIFIC_OPTIONS
5 select BOARD_ROMSIZE_KB_8192
6 select CACHE_MRC_SETTINGS
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
17 default "protectli/vault_bsw"
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
42 default 2 if BOARD_PROTECTLI_FW2B
43 default 4 if BOARD_PROTECTLI_FW4B
50 default "8086,1539" if BOARD_PROTECTLI_FW2B
51 default "8086,157b" if BOARD_PROTECTLI_FW4B
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
64 endif # BOARD_PROTECTLI_FW2B