1## SPDX-License-Identifier: GPL-2.0-only 2 3if BOARD_IBM_SBP1 4 5config BOARD_SPECIFIC_OPTIONS 6 def_bool y 7 select BOARD_ROMSIZE_KB_65536 8 select IPMI_KCS 9 select MAINBOARD_HAS_TPM2 10 select MEMORY_MAPPED_TPM 11 select SOC_INTEL_SAPPHIRERAPIDS_SP 12 select HAVE_ACPI_TABLES 13 select MAINBOARD_USES_IFD_GBE_REGION 14 15config MAINBOARD_DIR 16 string 17 default "ibm/sbp1" 18 19config MAINBOARD_PART_NUMBER 20 string 21 default "SBP1" 22 23config FMDFILE 24 string 25 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd" 26 27config MAX_SOCKET 28 int 29 default 4 30 31config MAX_CPUS 32 int 33 default 480 34 35endif 36