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