## SPDX-License-Identifier: GPL-2.0-only

if BOARD_OCP_DELTALAKE

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select BOARD_ROMSIZE_KB_65536
	select CONSOLE_OVERRIDE_LOGLEVEL
	select HAVE_ACPI_TABLES
	select SOC_INTEL_COOPERLAKE_SP
	select SUPERIO_ASPEED_AST2400
	select IPMI_KCS
	select IPMI_KCS_ROMSTAGE
	select OCP_DMI
	select VPD
	select VPD_SMBIOS_VERSION
	select IPMI_OCP
	select MEMORY_MAPPED_TPM
	select MAINBOARD_HAS_TPM2
	select UART_OVERRIDE_BAUDRATE
	select RUNTIME_CONFIGURABLE_SMM_LOGLEVEL

config UART_FOR_CONSOLE
	int
	default 1

config TTYS0_BAUD
	default 57600

config POWER_STATE_DEFAULT_ON_AFTER_FAILURE
	default n

config IPMI_KCS_REGISTER_SPACING
	int
	default 4

config MAINBOARD_DIR
	default "ocp/deltalake"

config MAINBOARD_PART_NUMBER
	default "DeltaLake"

config MAINBOARD_FAMILY
	string
	default "DeltaLake"

config MAX_SOCKET
	int
	default 1

config FMDFILE
	default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd"

# Deltalake is single socket server, the platform design has 1 DIMM per channel
config DIMM_MAX
	default 6

config CONSOLE_POST
	bool
	default y

config DEBUG_SMI
	default y

endif # BOARD_OCP_DELTALAKE