arch/arm/mach-axxia/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0
   2 config 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.