[xen master] arm/mpu: Kconfig symbols for MPU build

[patchbot@xxxxxxx]

commit 2244da28fc08ea6678e7f337b09c72a2c411ef05
Author:     Luca Fancellu <luca.fancellu@xxxxxxx>
AuthorDate: Tue Apr 1 09:58:55 2025 +0100
Commit:     Michal Orzel <michal.orzel@xxxxxxx>
CommitDate: Wed Apr 2 11:15:10 2025 +0200

    arm/mpu: Kconfig symbols for MPU build
    
    The MPU system requires static memory to work, select that
    when building this memory management subsystem.
    
    While there, provide a restriction for the ARM_EFI Kconfig
    parameter to be built only when !MPU, the EFI stub is not
    used as there are no implementation of UEFI services for
    armv8-r.
    
    Signed-off-by: Luca Fancellu <luca.fancellu@xxxxxxx>
    Reviewed-by: Michal Orzel <michal.orzel@xxxxxxx>
---
 xen/arch/arm/Kconfig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index 466b7db63c..7a7658812d 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -85,6 +85,7 @@ config MMU
 
 config MPU
        bool "MPU" if UNSUPPORTED
+       select STATIC_MEMORY
        help
          Memory Protection Unit (MPU). Select if you plan to run Xen on ARMv8-R
          systems supporting EL2. (UNSUPPORTED)
@@ -102,7 +103,7 @@ config ACPI
 
 config ARM_EFI
        bool "UEFI boot service support"
-       depends on ARM_64
+       depends on ARM_64 && !MPU
        default y
        help
          This option provides support for boot services through
--
generated by git-patchbot for /home/xen/git/xen.git#master