]>
Commit | Line | Data |
---|---|---|
8ad68bbf CM |
1 | menu "RealView platform type" |
2 | depends on ARCH_REALVIEW | |
3 | ||
4 | config MACH_REALVIEW_EB | |
5 | bool "Support RealView/EB platform" | |
8ad68bbf CM |
6 | select ARM_GIC |
7 | help | |
8 | Include support for the ARM(R) RealView Emulation Baseboard platform. | |
9 | ||
41579f49 CM |
10 | config REALVIEW_EB_ARM11MP |
11 | bool "Support ARM11MPCore tile" | |
9b1283be RK |
12 | depends on MACH_REALVIEW_EB |
13 | help | |
41579f49 | 14 | Enable support for the ARM11MPCore tile on the Realview platform. |
9b1283be | 15 | |
41579f49 CM |
16 | config REALVIEW_EB_ARM11MP_REVB |
17 | bool "Support ARM11MPCore RevB tile" | |
18 | depends on REALVIEW_EB_ARM11MP | |
4b17244c CM |
19 | default n |
20 | help | |
41579f49 CM |
21 | Enable support for the ARM11MPCore RevB tile on the Realview |
22 | platform. Since there are device address differences, a | |
4b17244c | 23 | kernel built with this option enabled is not compatible with |
41579f49 | 24 | other revisions of the ARM11MPCore tile. |
4b17244c | 25 | |
78fdcb42 BB |
26 | config MACH_REALVIEW_PB11MP |
27 | bool "Support RealView/PB11MPCore platform" | |
28 | select ARM_GIC | |
78fdcb42 BB |
29 | help |
30 | Include support for the ARM(R) RealView MPCore Platform Baseboard. | |
31 | PB11MPCore is a platform with an on-board ARM11MPCore and has | |
32 | support for PCI-E and Compact Flash. | |
33 | ||
bc02c58b BB |
34 | config MACH_REALVIEW_PB1176 |
35 | bool "Support RealView/PB1176 platform" | |
36 | select ARM_GIC | |
bc02c58b BB |
37 | help |
38 | Include support for the ARM(R) RealView ARM1176 Platform Baseboard. | |
39 | ||
8ad68bbf | 40 | endmenu |