## SPDX-License-Identifier: GPL-2.0-only | |
if BOARD_SCALEWAY_TAGADA | |
config BOARD_SPECIFIC_OPTIONS | |
def_bool y | |
select SOC_INTEL_DENVERTON_NS | |
select BOARD_ROMSIZE_KB_16384 | |
select HAVE_ACPI_TABLES | |
select CONSOLE_OVERRIDE_LOGLEVEL | |
select UART_OVERRIDE_BAUDRATE | |
config MAINBOARD_DIR | |
default "scaleway/tagada" | |
config MAINBOARD_PART_NUMBER | |
string | |
default "TAGADA" | |
config BMC_INFO_LOC | |
hex "BMC information location in flash" | |
default 0xff802000 | |
help | |
Location of BMC SERIAL information. | |
endif # BOARD_SCALEWAY_TAGADA |