[xen master] xen/arm: pci: introduce PCI_PASSTHROUGH Kconfig option

[patchbot@xxxxxxx]

commit 163c6b589879984b366ae86b71ccf380df89b82f
Author:     Rahul Singh <rahul.singh@xxxxxxx>
AuthorDate: Fri Jun 13 11:17:30 2025 -0400
Commit:     Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Fri Jul 11 16:57:29 2025 -0700

    xen/arm: pci: introduce PCI_PASSTHROUGH Kconfig option
    
    Setting CONFIG_PCI_PASSTHROUGH=y will enable PCI passthrough on ARM,
    even though the feature is not yet complete in the current upstream
    codebase. The purpose of this is to make it easier to enable the
    necessary configs (HAS_PCI, HAS_VPCI) for testing and development of PCI
    passthrough on ARM, and to build it in CI.
    
    Since PCI passthrough on ARM is still work in progress at this time,
    make it depend on EXPERT.
    
    Signed-off-by: Rahul Singh <rahul.singh@xxxxxxx>
    Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxx>
    Signed-off-by: Stewart Hildebrand <stewart.hildebrand@xxxxxxx>
    Acked-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
---
 xen/arch/arm/Kconfig | 8 ++++++++
 xen/drivers/Kconfig  | 1 +
 2 files changed, 9 insertions(+)

diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index 3f25da3ca5..95a2cd3d00 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -8,6 +8,8 @@ config ARM_64
        depends on !ARM_32
        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
@@ -258,6 +260,12 @@ config PARTIAL_EMULATION
 
 source "arch/arm/firmware/Kconfig"
 
+config PCI_PASSTHROUGH
+       bool "PCI passthrough" if EXPERT
+       depends on ARM_64
+       help
+         This option enables PCI device passthrough
+
 endmenu
 
 menu "ARM errata workaround via the alternative framework"
diff --git a/xen/drivers/Kconfig b/xen/drivers/Kconfig
index 20050e9bb8..d42314bb19 100644
--- a/xen/drivers/Kconfig
+++ b/xen/drivers/Kconfig
@@ -14,6 +14,7 @@ source "drivers/video/Kconfig"
 
 config HAS_VPCI
        bool
+       select HAS_PCI
 
 config HAS_VPCI_GUEST_SUPPORT
        bool
--
generated by git-patchbot for /home/xen/git/xen.git#master