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
20 default "ocp/tiogapass"
22 config MAINBOARD_PART_NUMBER
25 config MAINBOARD_FAMILY
30 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd"
32 config UART_FOR_CONSOLE
39 endif # BOARD_OCP_TIOGAPASS