if ARCH_VEXPRESS

config ARCH_TEXT_BASE
	hex
	default 0x83f00000

config BOARDINFO
	default "ARM Vexpress" if MACH_VEXPRESS

choice
	prompt "ARM Board type"

config MACH_VEXPRESS
	bool "ARM Vexpress"

endchoice

endif