RealView: Enable the configuration options for PB11MPCore
[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 CACHE_L2X0
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         select CACHE_L2X0
31         help
32           Include support for the ARM(R) RealView MPCore Platform Baseboard.
33           PB11MPCore is a platform with an on-board ARM11MPCore and has
34           support for PCI-E and Compact Flash.
35
36 endmenu