1config 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 9