diff --git a/sched/init/nx_bringup.c b/sched/init/nx_bringup.c
index 04d9ed8d267..9f5717fc421 100644
--- a/sched/init/nx_bringup.c
+++ b/sched/init/nx_bringup.c
@@ -251,6 +251,7 @@ static inline void nx_start_application(void)
    */
 
   sinfo("Starting init thread\n");
+  syslog(LOG_INFO, "Starting init thread\n");
 
 #ifdef CONFIG_BUILD_PROTECTED
   DEBUGASSERT(USERSPACE->us_entrypoint != NULL);
diff --git a/sched/init/nx_start.c b/sched/init/nx_start.c
index 73045efa282..e1ca76b1597 100644
--- a/sched/init/nx_start.c
+++ b/sched/init/nx_start.c
@@ -373,6 +373,7 @@ void nx_start(void)
   int i;
 
   sinfo("Entry\n");
+  syslog(LOG_INFO, "NuttX RTOS Initializtion Entry\n");
 
   /* Boot up is complete */
 
@@ -825,6 +826,7 @@ void nx_start(void)
   /* When control is return to this point, the system is idle. */
 
   sinfo("CPU0: Beginning Idle Loop\n");
+  syslog(LOG_INFO, "CPU0: Beginning Idle Loop\n");
   for (; ; )
     {
       /* Perform any processor-specific idle state operations */