if ARCH_VEXPRESS

config ARCH_TEXT_BASE
	hex
	default 0x0

choice
	prompt "ARM Board type"

config MACH_VEXPRESS
	bool "ARM Vexpress"
	select RELOCATABLE
	select HAVE_PBL_MULTI_IMAGES
	select OFTREE
	select OFDEVICE
	select COMMON_CLK_OF_PROVIDER

endchoice

endif