arch/arm/mach-axxia/Kconfig

   1 config ARCH_AXXIA
   2         bool "LSI Axxia platforms" if (ARCH_MULTI_V7 && ARM_LPAE)
   3         select ARCH_DMA_ADDR_T_64BIT
   4         select ARM_AMBA
   5         select ARM_GIC
   6         select ARM_TIMER_SP804
   7         select HAVE_ARM_ARCH_TIMER
   8         select MFD_SYSCON
   9         select MIGHT_HAVE_PCI
  10         select PCI_DOMAINS if PCI
  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.