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 MIGHT_HAVE_PCI
  11         select PCI_DOMAINS if PCI
  12         select ZONE_DMA
  13         help
  14           This enables support for the LSI Axxia devices.
  15
  16           The LSI Axxia platforms require a Flattened Device Tree to be passed
  17           to the kernel.