config MACH_REALVIEW_EB
bool "Support RealView/EB platform"
- default n
select ARM_GIC
help
Include support for the ARM(R) RealView Emulation Baseboard platform.
+config REALVIEW_EB_ARM11MP
+ bool "Support ARM11MPCore tile"
+ depends on MACH_REALVIEW_EB
+ select CACHE_L2X0
+ help
+ Enable support for the ARM11MPCore tile on the Realview platform.
+
+config REALVIEW_EB_ARM11MP_REVB
+ bool "Support ARM11MPCore RevB tile"
+ depends on REALVIEW_EB_ARM11MP
+ default n
+ help
+ Enable support for the ARM11MPCore RevB tile on the Realview
+ platform. Since there are device address differences, a
+ kernel built with this option enabled is not compatible with
+ other revisions of the ARM11MPCore tile.
+
endmenu