if ARCH_VERSATILE

config ARCH_TEXT_BASE
	default 0x02000000

config MACH_VERSATILEPB
	bool
	default y
	select ARM_AMBA
	select CLKDEV_LOOKUP

choice
	prompt "ARM Board type"

config MACH_VERSATILEPB_926T
	bool "ARM Versatile/PB (ARM926EJ-S)"
	select CPU_ARM926T

config MACH_VERSATILEPB_ARM1176
	bool "ARM Versatile/PB (ARM1176)"
	select CPU_ARM1176

endchoice

source "arch/arm/boards/versatile/Kconfig"

endif