kernel/arch/arm/mach-socfpga/Kconfig

   1 config ARCH_SOCFPGA
   2         bool "Altera SOCFPGA family" if ARCH_MULTI_V7
   3         select ARM_AMBA
   4         select ARM_GIC
   5         select CACHE_L2X0
   6         select DW_APB_TIMER_OF
   7         select GPIO_PL061 if GPIOLIB
   8         select HAVE_ARM_SCU
   9         select HAVE_ARM_TWD if SMP
  10         select MFD_SYSCON