[PATCH v2 40/40] xen/mpu: add Kconfig option to enable Armv8-R AArch64 support

[Penny Zheng <Penny.Zheng@xxxxxxx>]

Introduce a Kconfig option to enable Armv8-R64 architecture
support. STATIC_MEMORY and HAS_MPU will be selected by
ARM_V8R by default, because Armv8-R64 only has PMSAv8-64 on secure-EL2
and only supports statically configured system.

Signed-off-by: Wei Chen <wei.chen@xxxxxxx>
---
 xen/arch/arm/Kconfig | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index ee942a33bc..dc93b805a6 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -9,6 +9,15 @@ config ARM_64
        select 64BIT
        select HAS_FAST_MULTIPLY
 
+config ARM_V8R
+       bool "ARMv8-R AArch64 architecture support (UNSUPPORTED)" if UNSUPPORTED
+       default n
+       select STATIC_MEMORY
+       depends on ARM_64
+       help
+         This option enables Armv8-R profile for Arm64. Enabling this option
+         results in selecting MPU.
+
 config ARM
        def_bool y
        select HAS_ALTERNATIVE if !ARM_V8R
@@ -68,6 +77,10 @@ config HAS_ITS
         bool "GICv3 ITS MSI controller support (UNSUPPORTED)" if UNSUPPORTED
         depends on GICV3 && !NEW_VGIC && !ARM_32
 
+config HAS_MPU
+       bool "Protected Memory System Architecture"
+       depends on ARM_V8R
+
 config HVM
         def_bool y
 
-- 
2.25.1