# SPDX-License-Identifier: GPL-2.0 config [31mCONFIG_ARCH_AXXIA[0m bool "LSI Axxia platforms" depends on [31mCONFIG_ARCH_MULTI_V7[0m && [31mCONFIG_ARM_LPAE[0m select [31mCONFIG_ARM_AMBA[0m select [31mCONFIG_ARM_GIC[0m select [31mCONFIG_ARM_TIMER_SP804[0m select [31mCONFIG_HAVE_ARM_ARCH_TIMER[0m select [31mCONFIG_MFD_SYSCON[0m select [31mCONFIG_ZONE_DMA[0m help This enables support for the LSI Axxia devices. The LSI Axxia platforms require a Flattened Device Tree to be passed to the kernel. |