1 files changed, 6 insertions, 0 deletions
diff --git a/nuttx/sched/os_bringup.c b/nuttx/sched/os_bringup.c
index 2fcb9ff7b..fbaad1a7a 100644
--- a/nuttx/sched/os_bringup.c
+++ b/nuttx/sched/os_bringup.c
@@ -195,6 +195,12 @@ int os_bringup(void)
   /* Once the operating system has been initialized, the system must be
    * started by spawning the user init thread of execution.  This is the
    * first user-mode thead.
+   *
+   * In a kernel build (CONFIG_NUTTX_KERNEL), it is expected that this user
+   * initialization function will:
+   *
+   * - Call mm_initialized() to initialize the user memmory manager, and
+   * - Is so configured, call work_usrstart() to start the user work thread.
    */
 
   svdbg("Starting init thread\n");