1 # SPDX-License-Identifier: GPL-2.0-only 2 config ARCH_HIGHBANK 3 bool "Calxeda ECX-1000/2000 (Highbank/ 4 depends on ARCH_MULTI_V7 5 select ARM_AMBA 6 select ARM_ERRATA_764369 if SMP 7 select ARM_ERRATA_775420 8 select ARM_ERRATA_798181 if SMP 9 select ARM_GIC 10 select ARM_PSCI 11 select ARM_TIMER_SP804 12 select CACHE_L2X0 13 select HAVE_ARM_SCU 14 select HAVE_ARM_TWD if SMP 15 select MAILBOX 16 select PL320_MBOX 17 select ZONE_DMA if ARM_LPAE
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.