arch/arm/mach-virt/Kconfig

config ARCH_VIRT
	bool "Dummy Virtual Machine" if ARCH_MULTI_V7
	select ARCH_WANT_OPTIONAL_GPIOLIB
	select ARM_GIC
	select ARM_ARCH_TIMER
	select ARM_PSCI
	select HAVE_SMP
	select CPU_V7
	select SPARSE_IRQ
	select USE_OF