For now, since the feature of Domain on Static Allocation is only supported
on ARM Architecture, this commit introduces new CONFIG_STATIC_ALLOCATION to
avoid bringing dead codes in other archs.
Signed-off-by: Penny Zheng <penny.zh...@arm.com>
---
changes v2:
- new commit
---
xen/arch/arm/Kconfig | 3 +++
1 file changed, 3 insertions(+)
diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index ecfa6822e4..f165db8ecd 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -278,6 +278,9 @@ config ARM64_ERRATUM_1286807
If unsure, say Y.
+config STATIC_ALLOCATION
+ def_bool y
+
endmenu
config ARM64_HARDEN_BRANCH_PREDICTOR
--
2.25.1
