src/mainboard/ocp/deltalake/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 if BOARD_OCP_DELTALAKE
   4
   5 config BOARD_SPECIFIC_OPTIONS
   6         def_bool y
   7         select BOARD_ROMSIZE_KB_65536
   8         select CONSOLE_OVERRIDE_LOGLEVEL
   9         select HAVE_ACPI_TABLES
  10         select SOC_INTEL_COOPERLAKE_SP
  11         select SUPERIO_ASPEED_AST2400
  12         select IPMI_KCS
  13         select IPMI_KCS_ROMSTAGE
  14         select OCP_DMI
  15         select VPD
  16         select VPD_SMBIOS_VERSION
  17         select IPMI_OCP
  18         select MEMORY_MAPPED_TPM
  19         select MAINBOARD_HAS_TPM2
  20         select UART_OVERRIDE_BAUDRATE
  21         select RUNTIME_CONFIGURABLE_SMM_LOGLEVEL
  22
  23 config UART_FOR_CONSOLE
  24         int
  25         default 1
  26
  27 config TTYS0_BAUD
  28         default 57600
  29
  30 config POWER_STATE_DEFAULT_ON_AFTER_FAILURE
  31         default n
  32
  33 config IPMI_KCS_REGISTER_SPACING
  34         int
  35         default 4
  36
  37 config MAINBOARD_DIR
  38         default "ocp/deltalake"
  39
  40 config MAINBOARD_PART_NUMBER
  41         default "DeltaLake"
  42
  43 config MAINBOARD_FAMILY
  44         string
  45         default "DeltaLake"
  46
  47 config MAX_SOCKET
  48         int
  49         default 1
  50
  51 config FMDFILE
  52         default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd"
  53
  54 # Deltalake is single socket server, the platform design has 1 DIMM per channel
  55 config DIMM_MAX
  56         default 6
  57
  58 config CONSOLE_POST
  59         bool
  60         default y
  61
  62 config DEBUG_SMI
  63         default y
  64
  65 endif # BOARD_OCP_DELTALAKE