diff options
Diffstat (limited to 'nuttx/sched/os_start.c')
| -rw-r--r-- | nuttx/sched/os_start.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/sched/os_start.c b/nuttx/sched/os_start.c index 440fdb6c3a..6f36f58a62 100644 --- a/nuttx/sched/os_start.c +++ b/nuttx/sched/os_start.c @@ -438,8 +438,8 @@ void os_start(void) g_worker = task_create("work", CONFIG_SCHED_WORKPRIORITY, CONFIG_SCHED_WORKSTACKSIZE, (main_t)work_thread, (const char **)NULL); -#endif ASSERT(g_worker != ERROR); +#endif /* Once the operating system has been initialized, the system must be * started by spawning the user init thread of execution. |