| ## 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 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 |