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.