arch/arm/mach-picoxcell/Kconfig

   1 config ARCH_PICOXCELL
   2         bool "Picochip PicoXcell" if ARCH_MULTI_V6
   3         select ARCH_REQUIRE_GPIOLIB
   4         select ARM_VIC
   5         select CPU_V6K
   6         select DW_APB_TIMER_OF
   7         select HAVE_TCM
   8         select NO_IOPORT_MAP