x86/xen: resume timer irqs early
[linux/fpc-iii.git] / arch / arm / mach-bcm2835 / Kconfig
blob560045cafc3417c4fe8aba877ff7d233a4fbf949
1 config ARCH_BCM2835
2         bool "Broadcom BCM2835 family" if ARCH_MULTI_V6
3         select ARCH_REQUIRE_GPIOLIB
4         select ARM_AMBA
5         select ARM_ERRATA_411920
6         select ARM_TIMER_SP804
7         select CLKDEV_LOOKUP
8         select CLKSRC_OF
9         select CPU_V6
10         select GENERIC_CLOCKEVENTS
11         select PINCTRL
12         select PINCTRL_BCM2835
13         help
14           This enables support for the Broadcom BCM2835 SoC. This SoC is
15           use in the Raspberry Pi, and Roku 2 devices.