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