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         default n
   7         select ARM_GIC
   8         help
   9           Include support for the ARM(R) RealView Emulation Baseboard platform.
  10
  11 config REALVIEW_MPCORE
  12         bool "Support MPcore tile"
  13         depends on MACH_REALVIEW_EB
  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
  20 endmenu