arch/arm/mach-picoxcell/Kconfig

   1 config ARCH_PICOXCELL
   2         bool "Picochip PicoXcell"
   3         depends on ARCH_MULTI_V6
   4         select ARM_VIC
   5         select DW_APB_TIMER_OF
   6         select GPIOLIB
   7         select HAVE_TCM
   8         select NO_IOPORT_MAP