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         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
  20 config 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
  30 endmenu