diff --git a/CMakeLists.txt b/CMakeLists.txt
index 993c3881dc..fa902f6a35 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -420,6 +420,7 @@ add_executable(nuttx)
 add_custom_target(nuttx_post)
 if(CONFIG_BUILD_PROTECTED)
   add_executable(nuttx_user)
+  nuttx_add_library_internal(nuttx_user)
 endif()
 
 if(CONFIG_ALLSYMS)
diff --git a/libs/libc/wqueue/CMakeLists.txt b/libs/libc/wqueue/CMakeLists.txt
index 673c9d06fe..de316df159 100644
--- a/libs/libc/wqueue/CMakeLists.txt
+++ b/libs/libc/wqueue/CMakeLists.txt
@@ -18,7 +18,7 @@
 #
 # ##############################################################################
 
-if(CONFIG_LIB_USRWORK)
+if(CONFIG_LIBC_USRWORK)
   target_sources(c PRIVATE work_usrthread.c work_queue.c work_cancel.c
                            work_signal.c work_lock.c)
 endif()