1## SPDX-License-Identifier: GPL-2.0-only 2 3if BOARD_INTEL_AVENUECITY_CRB 4 5config BOARD_SPECIFIC_OPTIONS 6 def_bool y 7 select BOARD_ROMSIZE_KB_65536 8 select SOC_INTEL_GRANITERAPIDS 9 select SUPERIO_ASPEED_AST2400 10 select HAVE_ACPI_TABLES 11 select IPMI_KCS 12 select IPMI_KCS_ROMSTAGE 13 select VPD 14 select OCP_VPD 15 select MEMORY_MAPPED_TPM 16 17config CARDBUS_PLUGIN_SUPPORT 18 bool 19 default n 20 21config MAINBOARD_DIR 22 string 23 default "intel/avenuecity_crb" 24 25config MAINBOARD_PART_NUMBER 26 string 27 default "Avenue City CRB" 28 29config FMDFILE 30 string 31 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd" 32 33config DIMM_MAX 34 int 35 default 1 36 37endif 38