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