src/mainboard/ibm/sbp1/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 if BOARD_IBM_SBP1
   4
   5 config BOARD_SPECIFIC_OPTIONS
   6         def_bool y
   7         select BOARD_ROMSIZE_KB_65536
   8         select IPMI_KCS
   9         select MAINBOARD_HAS_TPM2
  10         select MEMORY_MAPPED_TPM
  11         select SOC_INTEL_SAPPHIRERAPIDS_SP
  12         select HAVE_ACPI_TABLES
  13         select MAINBOARD_USES_IFD_GBE_REGION
  14
  15 config MAINBOARD_DIR
  16         string
  17         default "ibm/sbp1"
  18
  19 config MAINBOARD_PART_NUMBER
  20         string
  21         default "SBP1"
  22
  23 config FMDFILE
  24         string
  25         default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd"
  26
  27 config MAX_SOCKET
  28         int
  29         default 4
  30
  31 config MAX_CPUS
  32         int
  33         default 480
  34
  35 endif