From 9897c3eb5b283444a45dcf91689c1a16f71db132 Mon Sep 17 00:00:00 2001
From: Moody Liu <mooodyhunter@outlook.com>
Date: Sun, 9 Feb 2025 22:38:07 +0800
Subject: [PATCH] chore: kernel API build

---
 CMakeLists.txt                       | 6 +++++-
 kernel/include/private/mos/types.hpp | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 674bc7ad..0f904286 100644
--- 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
index db1a5c78..508cb44c 100644
--- 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