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