| if BOARD_OCP_DELTALAKE |
| |
| config BOARD_SPECIFIC_OPTIONS |
| def_bool y |
| select BOARD_ROMSIZE_KB_65536 |
| select CONSOLE_OVERRIDE_LOGLEVEL |
| select HAVE_ACPI_TABLES |
| select MAINBOARD_USES_FSP2_0 |
| select SOC_INTEL_COOPERLAKE_SP |
| select SUPERIO_ASPEED_AST2400 |
| select IPMI_KCS |
| select IPMI_KCS_ROMSTAGE |
| select OCP_DMI |
| select VPD |
| select VPD_SMBIOS_VERSION |
| select IPMI_OCP |
| select MAINBOARD_HAS_LPC_TPM |
| select MAINBOARD_HAS_TPM2 |
| select OVERRIDE_UART_FOR_CONSOLE |
| |
| config UART_FOR_CONSOLE |
| int |
| default 1 |
| |
| config POWER_STATE_DEFAULT_ON_AFTER_FAILURE |
| default n |
| |
| config IPMI_KCS_REGISTER_SPACING |
| int |
| default 4 |
| |
| config MAINBOARD_DIR |
| default "ocp/deltalake" |
| |
| config MAINBOARD_PART_NUMBER |
| default "DeltaLake" |
| |
| config MAINBOARD_FAMILY |
| string |
| default "DeltaLake" |
| |
| config MAX_SOCKET |
| int |
| default 1 |
| |
| config FMDFILE |
| string |
| default "src/mainboard/\$(CONFIG_MAINBOARD_DIR)/board.fmd" |
| |
| # Deltalake is single socket server, the platform design has 1 DIMM per channel |
| config DIMM_MAX |
| int |
| default 6 |
| |
| config CONSOLE_POST |
| bool |
| default y |
| |
| endif # BOARD_OCP_DELTALAKE |