Kconfig

 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.