arch/arm/mach-virt/Kconfig

   1 config ARCH_VIRT
   2         bool "Dummy Virtual Machine" if ARCH_MULTI_V7
   3         select ARCH_WANT_OPTIONAL_GPIOLIB
   4         select ARM_GIC
   5         select HAVE_ARM_ARCH_TIMER
   6         select ARM_PSCI
   7         select HAVE_SMP
   8         select CPU_V7
   9         select SPARSE_IRQ
  10         select USE_OF