From f4a7417f661ff4e324a57da8c6104a08373cd950 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 2 Apr 2026 16:26:21 +1100 Subject: [PATCH] arm,cmake: make verification and release equal Make verification and release builds equal by setting the default for KernelArmHypEnableVCPUCP14SaveAndRestore to OFF. The option is still available to set in non-verification builds, only the default changes. Signed-off-by: Gerwin Klein --- CHANGES.md | 9 ++++++++- src/arch/arm/config.cmake | 2 +- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 9492bf998..bff635c4b 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -21,12 +21,19 @@ description indicates whether it is SOURCE-COMPATIBLE, BINARY-COMPATIBLE, or BRE --- -## Upcoming release: BINARY COMPATIBLE +## Upcoming release: BREAKING ### Changes +#### ARM + +* change default for `KernelArmHypEnableVCPUCP14SaveAndRestore` to `OFF` to provide equal defaults for + verification and release builds. This affects AArch32/hyp only. ### Upgrade Notes + +AArch32 with hypervisor mode enabled only: if the option `KernelArmHypEnableVCPUCP14SaveAndRestore` is required, manually set it to `ON` in the build. + --- ## 15.0.0 2026-03-31: BREAKING diff --git a/src/arch/arm/config.cmake b/src/arch/arm/config.cmake index 5115a5257..36e7a4022 100644 --- a/src/arch/arm/config.cmake +++ b/src/arch/arm/config.cmake @@ -97,7 +97,7 @@ config_option( context for performance (or other) reasons, we can just turn them off \ and trap them instead, and have the VCPUs' accesses to CP14 \ intercepted and delivered to the VM Monitor as fault messages" - DEFAULT ON + DEFAULT OFF DEPENDS "KernelSel4ArchArmHyp;NOT KernelVerificationBuild" DEFAULT_DISABLED OFF)