x86/xen: resume timer irqs early
[linux/fpc-iii.git] / arch / arm / mach-mvebu / Kconfig
blob9eb63d7246023e061ff80a91b2a600f691906c58
1 config ARCH_MVEBU
2         bool "Marvell SOCs with Device Tree support" if ARCH_MULTI_V7
3         select CLKSRC_MMIO
4         select COMMON_CLK
5         select GENERIC_CLOCKEVENTS
6         select GENERIC_IRQ_CHIP
7         select IRQ_DOMAIN
8         select MULTI_IRQ_HANDLER
9         select PINCTRL
10         select PLAT_ORION
11         select SPARSE_IRQ
12         select CLKDEV_LOOKUP
13         select MVEBU_MBUS
14         select ZONE_DMA if ARM_LPAE
15         select ARCH_REQUIRE_GPIOLIB
16         select MIGHT_HAVE_PCI
17         select PCI_QUIRKS if PCI
19 if ARCH_MVEBU
21 menu "Marvell SOC with device tree"
23 config MACH_ARMADA_370_XP
24         bool
25         select ARMADA_370_XP_TIMER
26         select HAVE_SMP
27         select CACHE_L2X0
28         select CPU_PJ4B
30 config MACH_ARMADA_370
31         bool "Marvell Armada 370 boards"
32         select ARMADA_370_CLK
33         select MACH_ARMADA_370_XP
34         select PINCTRL_ARMADA_370
35         help
36           Say 'Y' here if you want your kernel to support boards based
37           on the Marvell Armada 370 SoC with device tree.
39 config MACH_ARMADA_XP
40         bool "Marvell Armada XP boards"
41         select ARMADA_XP_CLK
42         select MACH_ARMADA_370_XP
43         select PINCTRL_ARMADA_XP
44         help
45           Say 'Y' here if you want your kernel to support boards based
46           on the Marvell Armada XP SoC with device tree.
48 endmenu
50 endif