]> Pileus Git - ~andy/linux/blobdiff - arch/arm/Kconfig
Merge branch 'merge' of git://git.kernel.org/pub/scm/linux/kernel/git/benh/powerpc
[~andy/linux] / arch / arm / Kconfig
index dc6ef9a2c649df04d0d8de515b5565978164dde5..1eb3a250210a040c25e773990db133efeea8b1eb 100644 (file)
@@ -1903,8 +1903,10 @@ config XEN
        depends on ARM && AEABI && OF
        depends on CPU_V7 && !CPU_V6
        depends on !GENERIC_ATOMIC64
+       depends on MMU
        select ARM_PSCI
        select SWIOTLB_XEN
+       select ARCH_DMA_ADDR_T_64BIT
        help
          Say Y if you want to run Linux in a Virtual Machine on Xen on ARM.