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