config ARCH_HIGHBANK
	bool "Calxeda ECX-1000/2000 (Highbank/Midway)" if ARCH_MULTI_V7
	select ARCH_DMA_ADDR_T_64BIT if ARM_LPAE
	select ARCH_HAS_HOLES_MEMORYMODEL
	select ARCH_SUPPORTS_BIG_ENDIAN
	select ARM_AMBA
	select ARM_ERRATA_764369 if SMP
	select ARM_ERRATA_775420
	select ARM_ERRATA_798181 if SMP
	select ARM_GIC
	select ARM_PSCI
	select ARM_TIMER_SP804
	select CACHE_L2X0
	select HAVE_ARM_SCU
	select HAVE_ARM_TWD if SMP
	select MAILBOX
	select PL320_MBOX
	select ZONE_DMA if ARM_LPAE