HAS_PASSTHROUGH should only be selected on MMU systems. It's been like
that until commit 163c6b589879 added possibility to select HAS_PASSTHROUGH
if PCI_PASSTHROUGH is enabled on Arm64. This is incorrect as it may result
in enabling passthrough/ build on MPU systems. PCI_PASSTHROUGH should
depend on HAS_PASSTHROUGH instead.

Signed-off-by: Michal Orzel <michal.or...@amd.com>
---
 xen/arch/arm/Kconfig | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index 17df147b2555..a0c816047427 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -9,7 +9,6 @@ config ARM_64
        select 64BIT
        select HAS_FAST_MULTIPLY
        select HAS_VPCI_GUEST_SUPPORT if PCI_PASSTHROUGH
-       select HAS_PASSTHROUGH if PCI_PASSTHROUGH
 
 config ARM
        def_bool y
@@ -263,7 +262,7 @@ source "arch/arm/firmware/Kconfig"
 
 config PCI_PASSTHROUGH
        bool "PCI passthrough" if EXPERT
-       depends on ARM_64
+       depends on ARM_64 && HAS_PASSTHROUGH
        help
          This option enables PCI device passthrough
 
-- 
2.43.0


Reply via email to