libsel4: Fix name for AARCH64_VSPACE_S2_START_L1

CONFIG_AARCH64_VSPACE_S2_START_L1 has the correct namespace for a kernel config option. Signed-off-by: Kent McLeod <kent@kry10.com>
seL4 · Jul 9, 2021 · b762ba7 · b762ba7
1 parent dec03f9
commit b762ba7
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 6 deletions.
diff --git a/CHANGES b/CHANGES
@@ -27,6 +27,8 @@ Upcoming release: BINARY COMPATIBLE
 ## Changes
 
 * Rename libsel4 config option ENABLE_SMP_SUPPORT to CONFIG_ENABLE_SMP_SUPPORT to be namespace compliant.
+* Rename libsel4 config option AARCH64_VSPACE_S2_START_L1 to CONFIG_AARCH64_VSPACE_S2_START_L1 to be namespace
+  compliant.
 
 ## Upgrade Notes
 ---

diff --git a/include/config.h b/include/config.h
@@ -12,3 +12,9 @@
 #ifdef CONFIG_ENABLE_SMP_SUPPORT
 #define ENABLE_SMP_SUPPORT
 #endif
+
+#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
+#ifdef CONFIG_ARM_PA_SIZE_BITS_40
+#define AARCH64_VSPACE_S2_START_L1
+#endif
+#endif
diff --git a/libsel4/include/sel4/config.h b/libsel4/include/sel4/config.h
@@ -10,12 +10,6 @@
 
 #include <autoconf.h>
 
-#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
-#ifdef CONFIG_ARM_PA_SIZE_BITS_40
-#define AARCH64_VSPACE_S2_START_L1
-#endif
-#endif
-
 /* Configurations requring the kernel log buffer */
 #if defined CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES || \
     defined CONFIG_BENCHMARK_TRACEPOINTS

diff --git a/src/arch/arm/config.cmake b/src/arch/arm/config.cmake
@@ -96,6 +96,12 @@ config_option(
         "KernelArmCortexA15 OR KernelArmCortexA35 OR KernelArmCortexA57 OR KernelArmCortexA53 OR KernelArmCortexA72"
 )
 
+if(KernelArmPASizeBits40 AND ARM_HYPERVISOR_SUPPORT)
+    config_set(KernelAarch64VspaceS2StartL1 AARCH64_VSPACE_S2_START_L1 "ON")
+else()
+    config_set(KernelAarch64VspaceS2StartL1 AARCH64_VSPACE_S2_START_L1 "OFF")
+endif()
+
 config_option(
     KernelArmHypEnableVCPUCP14SaveAndRestore ARM_HYP_ENABLE_VCPU_CP14_SAVE_AND_RESTORE
     "Trap, but don't save/restore VCPUs' CP14 accesses \