arch/arm/mach-realview/Kconfig

   1 menu "RealView platform type"
   2         depends on ARCH_REALVIEW
   3
   4 config 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
  10 config REALVIEW_MPCORE
  11         bool "Support MPcore tile"
  12         depends on MACH_REALVIEW_EB
  13         help
  14           Enable support for the MPCore tile on the Realview platform.
  15           Since there are device address and interrupt differences, a
  16           kernel built with this option enabled is not compatible with
  17           other tiles.
  18
  19 endmenu