src/soc/marvell/bg4cd/Kconfig

##
## This file is part of the coreboot project.
##
## Copyright 2014 Google Inc.
##
## 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.
##
## You should have received a copy of the GNU General Public License
## along with this program; if not, write to the Free Software
## Foundation, Inc.
##

config SOC_MARVELL_BG4CD
	bool
	default n
	select ARCH_BOOTBLOCK_ARMV7_M
	select BOOTBLOCK_CUSTOM if VBOOT_VERIFY_FIRMWARE
	select ARCH_RAMSTAGE_ARMV7
	select ARCH_ROMSTAGE_ARMV7
	select ARCH_VERSTAGE_ARMV7_M
	select BOOTBLOCK_CONSOLE
	select GENERIC_UDELAY
	select HAVE_MONOTONIC_TIMER
	select GENERIC_GPIO_LIB
	select VBOOT_STARTS_IN_BOOTBLOCK

if SOC_MARVELL_BG4CD

endif