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

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

if SOC_MARVELL_BG4CD

config CHROMEOS
	select VBOOT_STARTS_IN_BOOTBLOCK

endif