# SPDX-License-Identifier: GPL-2.0-only

if ARCH_VEXPRESS

config MACH_VEXPRESS
	bool "ARM Vexpress"

config MACH_VIRT
	bool "QEMU virt"
	select BOARD_ARM_VIRT
	select ARM_PSCI_CLIENT

endif
