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.c...@arm.com>
---
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
