src/mainboard/ocp/deltalake/Kconfig

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