if ARCH_VEXPRESS

config ARCH_TEXT_BASE
	hex
	default 0x83f00000

choice
	prompt "ARM Board type"

config MACH_VEXPRESS
	bool "ARM Vexpress"

endchoice

endif