Kconfig
 1  ## SPDX-License-Identifier: GPL-2.0-only
 2  
 3  if BOARD_INVENTEC_TRANSFORMERS
 4  
 5  config 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  
24  config MAINBOARD_DIR
25  	default "inventec/transformers"
26  
27  config MAINBOARD_PART_NUMBER
28  	default "Transformers"
29  
30  config FMDFILE
31  	default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd"
32  
33  config MAX_SOCKET
34  	default 2
35  
36  config DEBUG_SMI
37  	default y
38  
39  endif