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