1# SPDX-License-Identifier: GPL-2.0 2config ARCH_AXXIA 3 bool "LSI Axxia platforms" 4 depends on ARCH_MULTI_V7 && ARM_LPAE 5 select ARM_AMBA 6 select ARM_GIC 7 select ARM_TIMER_SP804 8 select HAVE_ARM_ARCH_TIMER 9 select MFD_SYSCON 10 select ZONE_DMA 11 help 12 This enables support for the LSI Axxia devices. 13 14 The LSI Axxia platforms require a Flattened Device Tree to be passed 15 to the kernel. 16