coreboot-kgpe-d16/src/mainboard/intel/galileo/Kconfig

##
## This file is part of the coreboot project.
##
## Copyright (C) 2015-2016 Intel Corp.
##
## 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_INTEL_GALILEO

config BOARD_SPECIFIC_OPTIONS
	def_bool y
	select BOARD_ROMSIZE_KB_8192
	select HAVE_ACPI_TABLES
	select PLATFORM_USES_FSP1_1
	select SOC_INTEL_QUARK

config MAINBOARD_DIR
	string
	default intel/galileo

config MAINBOARD_PART_NUMBER
	string
	default "Galileo"

config MAINBOARD_VENDOR
	string
	default "Intel"

endif # BOARD_INTEL_QUARK