1menu "Versatile platform type"
2	depends on ARCH_VERSATILE
3
4config ARCH_VERSATILE_PB
5	bool "Support Versatile Platform Baseboard for ARM926EJ-S"
6	select CPU_ARM926T
7	select MIGHT_HAVE_PCI
8	default y
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 USE_OF
23	select CPU_ARM926T
24	help
25	  Include support for the ARM(R) Versatile/PB platform,
26	  using the device tree for discovery
27
28endmenu
29