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 config MACH_REALVIEW_PB11MP
  28         bool "Support RealView/PB11MPCore platform"
  29         select ARM_GIC
  30         select CACHE_L2X0
  31         help
  32           Include support for the ARM(R) RealView MPCore Platform Baseboard.
  33           PB11MPCore is a platform with an on-board ARM11MPCore and has
  34           support for PCI-E and Compact Flash.
  35
  36 config MACH_REALVIEW_PB1176
  37         bool "Support RealView/PB1176 platform"
  38         select ARM_GIC
  39         select CACHE_L2X0
  40         help
  41           Include support for the ARM(R) RealView ARM1176 Platform Baseboard.
  42
  43 endmenu