1menu "RealView platform type"
2	depends on ARCH_REALVIEW
3
4config 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
10config REALVIEW_MPCORE
11	bool "Support MPcore tile"
12	depends on MACH_REALVIEW_EB
13	select CACHE_L2X0
14	help
15	  Enable support for the MPCore tile on the Realview platform.
16	  Since there are device address and interrupt differences, a
17	  kernel built with this option enabled is not compatible with
18	  other tiles.
19
20config REALVIEW_MPCORE_REVB
21	bool "Support MPcore RevB tile"
22	depends on REALVIEW_MPCORE
23	default n
24	help
25	  Enable support for the MPCore RevB tile on the Realview platform.
26	  Since there are device address differences, a
27	  kernel built with this option enabled is not compatible with
28	  other tiles.
29
30endmenu
31