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

if BOARD_IBM_SBP1

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select BOARD_ROMSIZE_KB_65536
	select IPMI_KCS
	select MAINBOARD_HAS_TPM2
	select MEMORY_MAPPED_TPM
	select MAINBOARD_USES_FSP2_0
	select SOC_INTEL_SAPPHIRERAPIDS_SP
	select HAVE_ACPI_TABLES
	select MAINBOARD_USES_IFD_GBE_REGION

config MAINBOARD_DIR
	string
	default "ibm/sbp1"

config MAINBOARD_PART_NUMBER
	string
	default "SBP1"

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

config MAX_SOCKET
	int
	default 4

config MAX_CPUS
	int
	default 480

endif