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 SUPERIO_ASPEED_AST2400 # Check if AST2400 is compatible 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_SOCKET_UPD int default 4 config MAX_CPUS int default 480 endif