1 ## SPDX-License-Identifier: GPL-2.0-or-later
5 config BOARD_SPECIFIC_OPTIONS
7 select BOARD_ROMSIZE_KB_32768
8 select CPU_INTEL_SOCKET_LGA3647_1
9 select HAVE_ACPI_TABLES
11 select IPMI_KCS_ROMSTAGE
14 select SOC_INTEL_SKYLAKE_SP
15 select SUPERIO_ASPEED_AST2400
16 select UART_OVERRIDE_BAUDRATE
17 select MEMORY_MAPPED_TPM
18 select MAINBOARD_HAS_TPM2
19 select MAINBOARD_USES_IFD_GBE_REGION
20 select MAINBOARD_USES_IFD_10GBE_0_REGION
24 default "ocp/tiogapass"
26 config MAINBOARD_PART_NUMBER
29 config MAINBOARD_FAMILY
34 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd"
36 config UART_FOR_CONSOLE
43 endif # BOARD_OCP_TIOGAPASS