blob: 8650b57a66b17e62ca5c65a3d3a85f9e8c23ad7d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
## SPDX-License-Identifier: GPL-2.0-only
if BOARD_PROTECTLI_FW2B || BOARD_PROTECTLI_FW4B
config BOARD_SPECIFIC_OPTIONS
def_bool y
select BOARD_ROMSIZE_KB_8192
select CACHE_MRC_SETTINGS
select DISABLE_HPET
select HAVE_ACPI_RESUME
select HAVE_ACPI_TABLES
select PCIEXP_L1_SUB_STATE
select SEABIOS_ADD_SERCON_PORT_FILE if PAYLOAD_SEABIOS
select SOC_INTEL_BRASWELL
select SPI_FLASH_MACRONIX
select SUPERIO_ITE_IT8613E
config MAINBOARD_DIR
default "protectli/vault_bsw"
config VARIANT_DIR
default "fw2b" if BOARD_PROTECTLI_FW2B
default "fw4b" if BOARD_PROTECTLI_FW4B
config OVERRIDE_DEVICETREE
default "variants/\$(CONFIG_VARIANT_DIR)/overridetree.cb"
config MAINBOARD_PART_NUMBER
default "FW2B" if BOARD_PROTECTLI_FW2B
default "FW4B" if BOARD_PROTECTLI_FW4B
config DIMM_MAX
default 1
config DIMM_SPD_SIZE
default 256
config MAX_CPUS
int
default 2 if BOARD_PROTECTLI_FW2B
default 4 if BOARD_PROTECTLI_FW4B
config CBFS_SIZE
default 0x500000
config PXE_ROM_ID
string
default "8086,1539" if BOARD_PROTECTLI_FW2B
default "8086,157b" if BOARD_PROTECTLI_FW4B
if !RUN_FSP_GOP
config VGA_BIOS_ID
string
default "8086,22b0"
help
The VGA_BIOS_ID for the C0 version of the video bios is hardcoded
in soc/intel/braswell/Makefile.mk as 8086,22b1
endif #RUN_FSP_GOP
endif # BOARD_PROTECTLI_FW2B
|
