1 files changed, 2 insertions, 4 deletions
diff --git a/nuttx/sched/os_bringup.c b/nuttx/sched/os_bringup.c
index fbaad1a7a..97efd9b22 100644
--- a/nuttx/sched/os_bringup.c
+++ b/nuttx/sched/os_bringup.c
@@ -197,10 +197,8 @@ int os_bringup(void)
    * 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.
+   * initialization function will call work_usrstart() to start the user
+   * work thread (if so configured).
    */
 
   svdbg("Starting init thread\n");