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 ARCH_DMA_ADDR_T_64BIT 6 select ARM_AMBA 7 select ARM_GIC 8 select ARM_TIMER_SP804 9 select HAVE_ARM_ARCH_TIMER 10 select MFD_SYSCON 11 select ZONE_DMA 12 help 13 This enables support for the LSI Axxia devices. 14 15 The LSI Axxia platforms require a Flattened Device Tree to be passed 16 to the kernel. 17