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