src/mainboard/ocp/deltalake/Kconfig

if BOARD_OCP_DELTALAKE

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select BOARD_ROMSIZE_KB_65536
	select FSP_CAR
	select HAVE_ACPI_TABLES
	select MAINBOARD_USES_FSP2_0
	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

config POWER_STATE_DEFAULT_ON_AFTER_FAILURE
	default n

config IPMI_KCS_REGISTER_SPACING
	int
	default 4

config MAINBOARD_DIR
	string
	default "ocp/deltalake"

config MAINBOARD_PART_NUMBER
	string
	default "DeltaLake"

config MAINBOARD_FAMILY
	string
	default "DeltaLake"

config MAX_SOCKET
	int
	default 1

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

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

endif # BOARD_OCP_DELTALAKE