2 bool "Marvell SOCs with Device Tree support" if ARCH_MULTI_V7
5 select GENERIC_CLOCKEVENTS
6 select GENERIC_IRQ_CHIP
8 select MULTI_IRQ_HANDLER
13 menu "Marvell SOC with device tree"
15 config MACH_ARMADA_370_XP
16 bool "Marvell Armada 370 and Aramada XP boards"
17 select ARMADA_370_XP_TIMER
21 Say 'Y' here if you want your kernel to support boards based on
22 Marvell Armada 370 or Armada XP with device tree.