arch/arm/mach-vexpress/Kconfig

   1 menu "Versatile Express platform type"
   2         depends on ARCH_VEXPRESS
   3
   4 config ARCH_VEXPRESS_CA9X4
   5         bool "Versatile Express Cortex-A9x4 tile"
   6         select CPU_V7
   7         select ARM_GIC
   8
   9 endmenu