if BOARD_PROTECTLI_FW6 config BOARD_SPECIFIC_OPTIONS def_bool y select BOARD_ROMSIZE_KB_8192 select HAVE_ACPI_RESUME select HAVE_ACPI_TABLES select INTEL_GMA_HAVE_VBT select MAINBOARD_HAS_LIBGFXINIT select SEABIOS_ADD_SERCON_PORT_FILE if PAYLOAD_SEABIOS select SOC_INTEL_KABYLAKE select SPI_FLASH_MACRONIX select SUPERIO_ITE_IT8772F select MAINBOARD_HAS_CRB_TPM select HAVE_INTEL_PTT select MAINBOARD_HAS_TPM2 config IRQ_SLOT_COUNT int default 18 config MAINBOARD_DIR default "protectli/vault_kbl" config MAINBOARD_PART_NUMBER default "FW6" config DIMM_MAX int default 2 config DIMM_SPD_SIZE int default 512 config MAX_CPUS int default 4 config VGA_BIOS_ID string default "8086,5916" # 8086,5906 for FW6A config PXE_ROM_ID string default "8086,150c" config CBFS_SIZE default 0x600000 config USE_PM_ACPI_TIMER default n endif