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 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. 17