1config 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. 18