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_EB_ARM11MP
  11         bool "Support ARM11MPCore tile"
  12         depends on MACH_REALVIEW_EB
  13         select CACHE_L2X0
  14         help
  15           Enable support for the ARM11MPCore tile on the Realview platform.
  16
  17 config REALVIEW_EB_ARM11MP_REVB
  18         bool "Support ARM11MPCore RevB tile"
  19         depends on REALVIEW_EB_ARM11MP
  20         default n
  21         help
  22           Enable support for the ARM11MPCore RevB tile on the Realview
  23           platform. Since there are device address differences, a
  24           kernel built with this option enabled is not compatible with
  25           other revisions of the ARM11MPCore tile.
  26
  27 endmenu