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         help
  14           Enable support for the ARM11MPCore tile on the Realview platform.
  15
  16 config REALVIEW_EB_ARM11MP_REVB
  17         bool "Support ARM11MPCore RevB tile"
  18         depends on REALVIEW_EB_ARM11MP
  19         default n
  20         help
  21           Enable support for the ARM11MPCore RevB tile on the Realview
  22           platform. Since there are device address differences, a
  23           kernel built with this option enabled is not compatible with
  24           other revisions of the ARM11MPCore tile.
  25
  26 config MACH_REALVIEW_PB11MP
  27         bool "Support RealView/PB11MPCore platform"
  28         select ARM_GIC
  29         help
  30           Include support for the ARM(R) RealView MPCore Platform Baseboard.
  31           PB11MPCore is a platform with an on-board ARM11MPCore and has
  32           support for PCI-E and Compact Flash.
  33
  34 config MACH_REALVIEW_PB1176
  35         bool "Support RealView/PB1176 platform"
  36         select ARM_GIC
  37         help
  38           Include support for the ARM(R) RealView ARM1176 Platform Baseboard.
  39
  40 endmenu