tile: use pmd_pfn() instead of casting via pte_t
[cascardo/linux.git] / arch / arm / mach-dove / Kconfig
1 if ARCH_DOVE
2
3 menu "Marvell Dove Implementations"
4
5 config DOVE_LEGACY
6         bool
7
8 config MACH_DOVE_DB
9         bool "Marvell DB-MV88AP510 Development Board"
10         select DOVE_LEGACY
11         select I2C_BOARDINFO
12         help
13           Say 'Y' here if you want your kernel to support the
14           Marvell DB-MV88AP510 Development Board.
15
16 config MACH_CM_A510
17         bool "CompuLab CM-A510 Board"
18         select DOVE_LEGACY
19         help
20           Say 'Y' here if you want your kernel to support the
21           CompuLab CM-A510 Board.
22
23 config MACH_DOVE_DT
24         bool "Marvell Dove Flattened Device Tree"
25         select DOVE_CLK
26         select ORION_IRQCHIP
27         select ORION_TIMER
28         select REGULATOR
29         select REGULATOR_FIXED_VOLTAGE
30         select USE_OF
31         help
32           Say 'Y' here if you want your kernel to support the
33           Marvell Dove using flattened device tree.
34
35 endmenu
36
37 endif