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