menu "Versatile platform type"
	depends on ARCH_VERSATILE

config ARCH_VERSATILE_PB
	bool "Support Versatile Platform Baseboard for ARM926EJ-S"
	select CPU_ARM926T
	select MIGHT_HAVE_PCI
	default y
	help
	  Include support for the ARM(R) Versatile Platform Baseboard
	  for the ARM926EJ-S.

config MACH_VERSATILE_AB
	bool "Support Versatile Application Baseboard for ARM926EJ-S"
	select CPU_ARM926T
	help
	  Include support for the ARM(R) Versatile Application Baseboard
	  for the ARM926EJ-S.

endmenu