1## SPDX-License-Identifier: GPL-2.0-only 2 3if BOARD_INVENTEC_TRANSFORMERS 4 5config BOARD_SPECIFIC_OPTIONS 6 def_bool y 7 select BOARD_ROMSIZE_KB_65536 8 select CONSOLE_OVERRIDE_LOGLEVEL 9 select IPMI_OCP 10 select IPMI_KCS 11 select IPMI_KCS_ROMSTAGE 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_VPD 20 select OCP_EWL 21 select SOC_INTEL_XEON_RAS 22 select RUNTIME_CONFIGURABLE_SMM_LOGLEVEL 23 24config MAINBOARD_DIR 25 default "inventec/transformers" 26 27config MAINBOARD_PART_NUMBER 28 default "Transformers" 29 30config FMDFILE 31 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd" 32 33config MAX_SOCKET 34 default 2 35 36config DEBUG_SMI 37 default y 38 39endif 40