libsel4: Fix Config name for ENABLE_SMP_SUPPORT

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

Hide file tree

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

diff --git a/config.cmake b/config.cmake
@@ -276,6 +276,13 @@ config_string(
     UNQUOTE
 )
 
+# Set CONFIG_ENABLE_SMP_SUPPORT as an alias of CONFIG_MAX_NUM_NODES > 1
+if(KernelMaxNumNodes GREATER 1)
+    config_set(KernelEnableSMPSupport ENABLE_SMP_SUPPORT ON)
+else()
+    config_set(KernelEnableSMPSupport ENABLE_SMP_SUPPORT OFF)
+endif()
+
 config_string(
     KernelStackBits KERNEL_STACK_BITS
     "This describes the log2 size of the kernel stack. Great care should be taken as\

diff --git a/include/config.h b/include/config.h
@@ -7,3 +7,8 @@
 #pragma once
 
 #include <sel4/config.h>
+
+/* Set ENABLE_SMP_SUPPORT for kernel source files */
+#ifdef CONFIG_ENABLE_SMP_SUPPORT
+#define ENABLE_SMP_SUPPORT
+#endif
diff --git a/libsel4/include/sel4/config.h b/libsel4/include/sel4/config.h
@@ -10,11 +10,6 @@
 
 #include <autoconf.h>
 
-/* Alias CONFIG_MAX_NUM_NODES > 1 to ENABLE_SMP_SUPPORT */
-#if CONFIG_MAX_NUM_NODES > 1
-#define ENABLE_SMP_SUPPORT
-#endif
-
 #ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
 #ifdef CONFIG_ARM_PA_SIZE_BITS_40
 #define AARCH64_VSPACE_S2_START_L1