if ARCH_VEXPRESS

config ARCH_TEXT_BASE
	hex
	default 0x0

choice
	prompt "ARM Board type"

config MACH_VEXPRESS
	bool "ARM Vexpress"
	select RELOCATABLE

endchoice

endif