| ## 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 |