| menu "RealView platform type" |
| depends on ARCH_REALVIEW |
| |
| config MACH_REALVIEW_EB |
| bool "Support RealView/EB platform" |
| select ARM_GIC |
| help |
| Include support for the ARM(R) RealView Emulation Baseboard platform. |
| |
| config REALVIEW_MPCORE |
| bool "Support MPcore tile" |
| depends on MACH_REALVIEW_EB |
| select CACHE_L2X0 |
| help |
| Enable support for the MPCore tile on the Realview platform. |
| Since there are device address and interrupt differences, a |
| kernel built with this option enabled is not compatible with |
| other tiles. |
| |
| config REALVIEW_MPCORE_REVB |
| bool "Support MPcore RevB tile" |
| depends on REALVIEW_MPCORE |
| default n |
| help |
| Enable support for the MPCore RevB tile on the Realview platform. |
| Since there are device address differences, a |
| kernel built with this option enabled is not compatible with |
| other tiles. |
| |
| endmenu |