1 ## SPDX-License-Identifier: GPL-2.0-only
5 config BOARD_SPECIFIC_OPTIONS
7 select BOARD_ROMSIZE_KB_8192
8 select HAVE_ACPI_RESUME
9 select HAVE_ACPI_TABLES
10 select INTEL_GMA_HAVE_VBT
11 select MAINBOARD_HAS_LIBGFXINIT
12 select SEABIOS_ADD_SERCON_PORT_FILE if PAYLOAD_SEABIOS
13 select SOC_INTEL_KABYLAKE
14 select SPI_FLASH_MACRONIX
15 select SUPERIO_ITE_IT8772F
18 select MAINBOARD_HAS_TPM2
21 default "protectli/vault_kbl"
23 config MAINBOARD_PART_NUMBER
38 default "8086,5916" # 8086,5906 for FW6A
47 config USE_PM_ACPI_TIMER