1## SPDX-License-Identifier: GPL-2.0-only 2 3if BOARD_INTEL_ARCHERCITY_CRB 4 5config BOARD_SPECIFIC_OPTIONS 6 def_bool y 7 select BOARD_ROMSIZE_KB_65536 8 select CONSOLE_OVERRIDE_LOGLEVEL 9 select IPMI_KCS 10 select IPMI_KCS_ROMSTAGE 11 select IPMI_OCP 12 select MEMORY_MAPPED_TPM 13 select MAINBOARD_HAS_TPM2 14 select SOC_INTEL_SAPPHIRERAPIDS_SP 15 select SUPERIO_ASPEED_AST2400 16 select HAVE_ACPI_TABLES 17 select MAINBOARD_USES_IFD_GBE_REGION 18 select VPD 19 select OCP_EWL 20 select OCP_VPD 21 select RUNTIME_CONFIGURABLE_SMM_LOGLEVEL 22 23config MAINBOARD_DIR 24 string 25 default "intel/archercity_crb" 26 27config MAINBOARD_PART_NUMBER 28 string 29 default "Archer City CRB" 30 31config FMDFILE 32 string 33 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd" 34 35config MAX_SOCKET 36 int 37 default 2 38 39config DEBUG_SMI 40 default y 41 42endif 43