kernel/arch/arm/mach-digicolor/Kconfig

   1 config ARCH_DIGICOLOR
   2         bool "Conexant Digicolor SoC Support"
   3         depends on ARCH_MULTI_V7
   4         select CLKSRC_MMIO
   5         select DIGICOLOR_TIMER
   6         select GENERIC_IRQ_CHIP
   7         select MFD_SYSCON