kernel/arch/arm/mach-versatile/Kconfig

   1 menu "Versatile platform type"
   2         depends on ARCH_VERSATILE
   3
   4 config ARCH_VERSATILE_PB
   5         bool "Support Versatile Platform Baseboard for ARM926EJ-S"
   6         default y
   7         select CPU_ARM926T
   8         select MIGHT_HAVE_PCI
   9         help
  10           Include support for the ARM(R) Versatile Platform Baseboard
  11           for the ARM926EJ-S.
  12
  13 config MACH_VERSATILE_AB
  14         bool "Support Versatile Application Baseboard for ARM926EJ-S"
  15         select CPU_ARM926T
  16         help
  17           Include support for the ARM(R) Versatile Application Baseboard
  18           for the ARM926EJ-S.
  19
  20 config MACH_VERSATILE_DT
  21         bool "Support Versatile platform from device tree"
  22         select CPU_ARM926T
  23         select USE_OF
  24         help
  25           Include support for the ARM(R) Versatile/PB platform,
  26           using the device tree for discovery
  27
  28 config MACH_VERSATILE_AUTO
  29         def_bool y
  30         depends on !ARCH_VERSATILE_PB && !MACH_VERSATILE_AB
  31         select MACH_VERSATILE_DT
  32
  33 endmenu