xen/mmu: enable SMMU subsystem only in MMU

In Xen, SMMU subsystem is supported for MMU system only. The reason being SMMU
driver uses the same page tables as MMU.
Thus, we make it dependent on CONFIG_MMU.

Signed-off-by: Penny Zheng <Penny.Zheng@arm.com>
Signed-off-by: Ayan Kumar Halder <ayan.kumar.halder@amd.com>
Acked-by: Julien Grall <jgrall@amazon.com>

diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index 23bbc91aad88b9ce6813637e2fa446f27fc94c3b..604aba49966d4803c8935aab32c28e8aa351ae15 100644 (file)
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -15,9 +15,7 @@ config ARM
        select GENERIC_UART_INIT
        select HAS_ALTERNATIVE if HAS_VMAP
        select HAS_DEVICE_TREE
-       select HAS_PASSTHROUGH
        select HAS_UBSAN
-       select IOMMU_FORCE_PT_SHARE
 
 config ARCH_DEFCONFIG
        string
@@ -79,6 +77,8 @@ config MMU
        bool "MMU"
        select HAS_PMAP
        select HAS_VMAP
+       select HAS_PASSTHROUGH
+       select IOMMU_FORCE_PT_SHARE
        help
          Select it if you plan to run Xen on A-profile Armv7+