arch/arm/mach-berlin/Kconfig

   1 config ARCH_BERLIN
   2         bool "Marvell Berlin SoCs" if ARCH_MULTI_V7
   3         select ARM_GIC
   4         select GENERIC_IRQ_CHIP
   5         select DW_APB_ICTL
   6         select DW_APB_TIMER_OF
   7
   8 if ARCH_BERLIN
   9
  10 menu "Marvell Berlin SoC variants"
  11
  12 config MACH_BERLIN_BG2
  13         bool "Marvell Armada 1500 (BG2)"
  14         select CACHE_L2X0
  15         select CPU_PJ4B
  16         select HAVE_ARM_TWD if SMP
  17
  18 config MACH_BERLIN_BG2CD
  19         bool "Marvell Armada 1500-mini (BG2CD)"
  20         select CACHE_L2X0
  21         select HAVE_ARM_TWD if SMP
  22
  23 endmenu
  24
  25 endif