1 ## SPDX-License-Identifier: GPL-2.0-only
3 if BOARD_INTEL_AVENUECITY_CRB
5 config BOARD_SPECIFIC_OPTIONS
7 select BOARD_ROMSIZE_KB_65536
8 select SOC_INTEL_GRANITERAPIDS
9 select SUPERIO_ASPEED_AST2400
10 select HAVE_ACPI_TABLES
12 select IPMI_KCS_ROMSTAGE
15 select MEMORY_MAPPED_TPM
17 config CARDBUS_PLUGIN_SUPPORT
23 default "intel/avenuecity_crb"
25 config MAINBOARD_PART_NUMBER
27 default "Avenue City CRB"
31 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd"