config CONFIG_ARCH_HIGHBANK
	bool "Calxeda ECX-1000/2000 (Highbank/Midway)"
	depends on CONFIG_ARCH_MULTI_V7
	select CONFIG_ARCH_DMA_ADDR_T_64BIT if CONFIG_ARM_LPAE
	select CONFIG_ARCH_HAS_HOLES_MEMORYMODEL
	select CONFIG_ARCH_SUPPORTS_BIG_ENDIAN
	select CONFIG_ARM_AMBA
	select CONFIG_ARM_ERRATA_764369 if CONFIG_SMP
	select CONFIG_ARM_ERRATA_775420
	select CONFIG_ARM_ERRATA_798181 if CONFIG_SMP
	select CONFIG_ARM_GIC
	select CONFIG_ARM_PSCI
	select CONFIG_ARM_TIMER_SP804
	select CONFIG_CACHE_L2X0
	select CONFIG_HAVE_ARM_SCU
	select CONFIG_HAVE_ARM_TWD if CONFIG_SMP
	select CONFIG_MAILBOX
	select CONFIG_PL320_MBOX
	select CONFIG_ZONE_DMA if CONFIG_ARM_LPAE