blob: 5ccde7cf39e868ce129c4f4fc204903d1f72f6d8 [file] [log] [blame]
Catalin Marinas8ad68bb2005-10-31 14:25:02 +00001menu "RealView platform type"
2 depends on ARCH_REALVIEW
3
4config MACH_REALVIEW_EB
5 bool "Support RealView/EB platform"
Catalin Marinas8ad68bb2005-10-31 14:25:02 +00006 select ARM_GIC
7 help
8 Include support for the ARM(R) RealView Emulation Baseboard platform.
9
Catalin Marinas41579f42008-02-04 17:47:04 +010010config REALVIEW_EB_ARM11MP
11 bool "Support ARM11MPCore tile"
Russell King9b1283b2005-11-07 21:01:06 +000012 depends on MACH_REALVIEW_EB
13 help
Catalin Marinas41579f42008-02-04 17:47:04 +010014 Enable support for the ARM11MPCore tile on the Realview platform.
Russell King9b1283b2005-11-07 21:01:06 +000015
Catalin Marinas41579f42008-02-04 17:47:04 +010016config REALVIEW_EB_ARM11MP_REVB
17 bool "Support ARM11MPCore RevB tile"
18 depends on REALVIEW_EB_ARM11MP
Catalin Marinas4b172442007-02-14 19:20:28 +010019 default n
20 help
Catalin Marinas41579f42008-02-04 17:47:04 +010021 Enable support for the ARM11MPCore RevB tile on the Realview
22 platform. Since there are device address differences, a
Catalin Marinas4b172442007-02-14 19:20:28 +010023 kernel built with this option enabled is not compatible with
Catalin Marinas41579f42008-02-04 17:47:04 +010024 other revisions of the ARM11MPCore tile.
Catalin Marinas4b172442007-02-14 19:20:28 +010025
Bahadir Balban78fdcb42008-04-18 22:43:14 +010026config MACH_REALVIEW_PB11MP
27 bool "Support RealView/PB11MPCore platform"
28 select ARM_GIC
Bahadir Balban78fdcb42008-04-18 22:43:14 +010029 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
Bahadir Balbanbc02c582008-04-18 22:43:16 +010034config MACH_REALVIEW_PB1176
35 bool "Support RealView/PB1176 platform"
36 select ARM_GIC
Bahadir Balbanbc02c582008-04-18 22:43:16 +010037 help
38 Include support for the ARM(R) RealView ARM1176 Platform Baseboard.
39
Catalin Marinas8ad68bb2005-10-31 14:25:02 +000040endmenu