## SPDX-License-Identifier: GPL-2.0-only if BOARD_INTEL_AVENUECITY_CRB config BOARD_SPECIFIC_OPTIONS def_bool y select BOARD_ROMSIZE_KB_65536 select SOC_INTEL_GRANITERAPIDS select SUPERIO_ASPEED_AST2400 select HAVE_ACPI_TABLES select IPMI_KCS select IPMI_KCS_ROMSTAGE select VPD select OCP_VPD select MEMORY_MAPPED_TPM config CARDBUS_PLUGIN_SUPPORT bool default n config MAINBOARD_DIR string default "intel/avenuecity_crb" config MAINBOARD_PART_NUMBER string default "Avenue City CRB" config FMDFILE string default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd" config DIMM_MAX int default 1 endif