arch/arm/mach-axxia/Kconfig

   1 config ARCH_AXXIA
   2         bool "LSI Axxia platforms"
   3         depends on ARCH_MULTI_V7 && ARM_LPAE
   4         select ARCH_DMA_ADDR_T_64BIT
   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.