menu "RealView platform type" depends on ARCH_REALVIEWconfig 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 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.
