1## SPDX-License-Identifier: GPL-2.0-only 2 3if BOARD_OCP_DELTALAKE 4 5config 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 23config UART_FOR_CONSOLE 24 int 25 default 1 26 27config TTYS0_BAUD 28 default 57600 29 30config POWER_STATE_DEFAULT_ON_AFTER_FAILURE 31 default n 32 33config IPMI_KCS_REGISTER_SPACING 34 int 35 default 4 36 37config MAINBOARD_DIR 38 default "ocp/deltalake" 39 40config MAINBOARD_PART_NUMBER 41 default "DeltaLake" 42 43config MAINBOARD_FAMILY 44 string 45 default "DeltaLake" 46 47config MAX_SOCKET 48 int 49 default 1 50 51config 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 55config DIMM_MAX 56 default 6 57 58config CONSOLE_POST 59 bool 60 default y 61 62config DEBUG_SMI 63 default y 64 65endif # BOARD_OCP_DELTALAKE 66