1 menu "RealView platform type"
2 depends on ARCH_REALVIEW
4 config MACH_REALVIEW_EB
5 bool "Support RealView/EB platform"
8 Include support for the ARM(R) RealView Emulation Baseboard platform.
10 config REALVIEW_EB_ARM11MP
11 bool "Support ARM11MPCore tile"
12 depends on MACH_REALVIEW_EB
15 Enable support for the ARM11MPCore tile on the Realview platform.
17 config REALVIEW_EB_ARM11MP_REVB
18 bool "Support ARM11MPCore RevB tile"
19 depends on REALVIEW_EB_ARM11MP
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.
27 config MACH_REALVIEW_PB11MP
28 bool "Support RealView/PB11MPCore platform"
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.
35 config MACH_REALVIEW_PB1176
36 bool "Support RealView/PB1176 platform"
40 Include support for the ARM(R) RealView ARM1176 Platform Baseboard.