Merge branch 'highmem' into devel
[linux-2.6] / arch / arm / mach-realview / Kconfig
1 menu "RealView platform type"
2         depends on ARCH_REALVIEW
3
4 config MACH_REALVIEW_EB
5         bool "Support RealView/EB platform"
6         select ARM_GIC
7         help
8           Include support for the ARM(R) RealView Emulation Baseboard platform.
9
10 config REALVIEW_EB_ARM11MP
11         bool "Support ARM11MPCore tile"
12         depends on MACH_REALVIEW_EB
13         select CPU_V6
14         help
15           Enable support for the ARM11MPCore tile on the Realview platform.
16
17 config REALVIEW_EB_ARM11MP_REVB
18         bool "Support ARM11MPCore RevB tile"
19         depends on REALVIEW_EB_ARM11MP
20         default n
21         help
22           Enable support for the ARM11MPCore RevB tile on the Realview
23           platform. Since there are device address differences, a
24           kernel built with this option enabled is not compatible with
25           other revisions of the ARM11MPCore tile.
26
27 config MACH_REALVIEW_PB11MP
28         bool "Support RealView/PB11MPCore platform"
29         select ARM_GIC
30         help
31           Include support for the ARM(R) RealView MPCore Platform Baseboard.
32           PB11MPCore is a platform with an on-board ARM11MPCore and has
33           support for PCI-E and Compact Flash.
34
35 config MACH_REALVIEW_PB1176
36         bool "Support RealView/PB1176 platform"
37         select CPU_V6
38         select ARM_GIC
39         help
40           Include support for the ARM(R) RealView ARM1176 Platform Baseboard.
41
42 endmenu