| if BOARD_OCP_DELTALAKE |
| |
| config BOARD_SPECIFIC_OPTIONS |
| def_bool y |
| select BOARD_ROMSIZE_KB_65536 |
| select FSP_CAR |
| 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 |
| |
| config POWER_STATE_DEFAULT_ON_AFTER_FAILURE |
| default n |
| |
| config IPMI_KCS_REGISTER_SPACING |
| int |
| default 4 |
| |
| config MAINBOARD_DIR |
| string |
| default "ocp/deltalake" |
| |
| config MAINBOARD_PART_NUMBER |
| string |
| 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" |
| |
| endif # BOARD_OCP_DELTALAKE |