##
## This file is part of the coreboot project.
##
##
## This program is free software; you can redistribute it and/or modify
## it under the terms of the GNU General Public License as published by
## the Free Software Foundation; version 2 of the License.
##
## This program is distributed in the hope that it will be useful,
## but WITHOUT ANY WARRANTY; without even the implied warranty of
## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
## GNU General Public License for more details.
##

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.

config SMBIOS_ENCLOSURE_TYPE
	hex
	default 0x19	# SMBIOS_ENCLOSURE_MULTI_SYSTEM_CHASSIS

endif # BOARD_SCALEWAY_TAGADA