1menu "Versatile platform type"
2	depends on ARCH_VERSATILE
3
4config 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
13config 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
20config 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
28config MACH_VERSATILE_AUTO
29	def_bool y
30	depends on !ARCH_VERSATILE_PB && !MACH_VERSATILE_AB
31	select MACH_VERSATILE_DT
32
33endmenu
34