chore: kernel API build

moodyhunter · Feb 9, 2025 · 9897c3e · 9897c3e
1 parent dc49657
commit 9897c3e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -74,7 +74,11 @@ add_subdirectory(kernel)
 include(add_mos_library)
 add_subdirectory(libs)
 
-add_subdirectory(userspace)
+if (__MOS_HAS_NO_COMPILER)
+    message(WARNING "Skipping userspace build because __MOS_HAS_NO_COMPILER is set.")
+else()
+    add_subdirectory(userspace)
+endif()
 add_subdirectory(tools)
 
 # include custom configuration

diff --git a/kernel/include/private/mos/types.hpp b/kernel/include/private/mos/types.hpp
@@ -75,7 +75,7 @@ class PtrResult
 
     T *get() const
     {
-        return const_cast<T *>(value);
+        return value;
     }
 
     bool isErr() const