if ARCH_VEXPRESS

config ARCH_TEXT_BASE
	hex
	default 0x0

config MACH_VEXPRESS
	bool "ARM Vexpress"

config MACH_VIRT
	bool "QEMU virt"
	select ARM_PSCI_CLIENT
	select BOARD_ARM_GENERIC_DT
	select OF_OVERLAY

endif
