kernel/arch/arm/mach-berlin/Kconfig

   1 menuconfig ARCH_BERLIN
   2         bool "Marvell Berlin SoCs" if ARCH_MULTI_V7
   3         select ARCH_HAS_RESET_CONTROLLER
   4         select ARCH_REQUIRE_GPIOLIB
   5         select ARM_GIC
   6         select DW_APB_ICTL
   7         select DW_APB_TIMER_OF
   8         select GENERIC_IRQ_CHIP
   9         select PINCTRL
  10
  11 if ARCH_BERLIN
  12
  13 config MACH_BERLIN_BG2
  14         bool "Marvell Armada 1500 (BG2)"
  15         select CACHE_L2X0
  16         select CPU_PJ4B
  17         select HAVE_ARM_SCU if SMP
  18         select HAVE_ARM_TWD if SMP
  19         select HAVE_SMP
  20         select PINCTRL_BERLIN_BG2
  21
  22 config MACH_BERLIN_BG2CD
  23         bool "Marvell Armada 1500-mini (BG2CD)"
  24         select CACHE_L2X0
  25         select HAVE_ARM_TWD if SMP
  26         select PINCTRL_BERLIN_BG2CD
  27
  28 config MACH_BERLIN_BG2Q
  29         bool "Marvell Armada 1500 Pro (BG2-Q)"
  30         select CACHE_L2X0
  31         select HAVE_ARM_SCU if SMP
  32         select HAVE_ARM_TWD if SMP
  33         select PINCTRL_BERLIN_BG2Q
  34
  35 endif