src/mainboard/protectli/vault_bsw/Kconfig

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