1 config BOARD_SUPERMICRO_BASEBOARD_X11_LGA1151_SERIES
3 select BOARD_ROMSIZE_KB_16384
4 select HAVE_ACPI_TABLES
5 select HAVE_OPTION_TABLE
6 select HAVE_CMOS_DEFAULT
7 select SOC_INTEL_KABYLAKE
8 select SKYLAKE_SOC_PCH_H
9 select MEMORY_MAPPED_TPM
10 select DRIVERS_ASPEED_AST2050
11 select SUPERIO_ASPEED_AST2400
13 select MAINBOARD_NO_FSP_GOP
14 select SUPERIO_ASPEED_HAS_UART_DELAY_WORKAROUND
16 select DRIVERS_UART_8250IO
17 select SOC_INTEL_COMMON_BLOCK_LPC_COMB_ENABLE
19 if BOARD_SUPERMICRO_BASEBOARD_X11_LGA1151_SERIES
21 config DISABLE_HECI1_AT_PRE_BOOT
24 config MAINBOARD_FAMILY
26 default "Supermicro_X11_LGA1151_SERIES"
28 config MAINBOARD_PART_NUMBER
29 default "X11SSH-TF" if BOARD_SUPERMICRO_X11SSH_TF
30 default "X11SSM-F" if BOARD_SUPERMICRO_X11SSM_F
31 default "X11SSH-F/LN4F" if BOARD_SUPERMICRO_X11SSH_F
34 default "supermicro/x11-lga1151-series"
37 default "x11ssh-tf" if BOARD_SUPERMICRO_X11SSH_TF
38 default "x11ssm-f" if BOARD_SUPERMICRO_X11SSM_F
39 default "x11ssh-f" if BOARD_SUPERMICRO_X11SSH_F
41 config OVERRIDE_DEVICETREE
42 default "variants/\$(CONFIG_VARIANT_DIR)/overridetree.cb"
45 select VBOOT_NO_BOARD_SUPPORT
46 select GBB_FLAG_DISABLE_LID_SHUTDOWN
47 select GBB_FLAG_DISABLE_PD_SOFTWARE_SYNC
48 select GBB_FLAG_DISABLE_EC_SOFTWARE_SYNC
49 select GBB_FLAG_DISABLE_FWMP
53 config VBOOT_SLOTS_RW_AB
58 config VBOOT_VBNV_OFFSET
63 default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/vboot-ro-rwab.fmd" if VBOOT_SLOTS_RW_AB
65 config DRIVERS_IPMI_SUPERMICRO_OEM
83 config SUPERMICRO_BOARDID
85 default "0896" if BOARD_SUPERMICRO_X11SSM_F
86 default "089C" if BOARD_SUPERMICRO_X11SSH_TF
87 default "0884" if BOARD_SUPERMICRO_X11SSH_F
89 endif # BOARD_SUPERMICRO_BASEBOARD_X11_LGA1151_SERIES