diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-09-03 13:47:11 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-09-03 13:47:11 -0600 |
| commit | a55e7019368fbea82399cfa6901a87920d295805 (patch) | |
| tree | 9bb8b508330bf9a4b44c88cad015c231cd7b0f0d /nuttx/sched/init | |
| parent | 4c448bf32281a4210bc16087be13cb31ff5acf5e (diff) | |
| download | nuttx-a55e7019368fbea82399cfa6901a87920d295805.tar.gz nuttx-a55e7019368fbea82399cfa6901a87920d295805.tar.bz2 nuttx-a55e7019368fbea82399cfa6901a87920d295805.zip | |
IDLE TCB setup needs to indicate the the IDLE thread is a privileged, kernel thread
Diffstat (limited to 'nuttx/sched/init')
| -rw-r--r-- | nuttx/sched/init/os_start.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/sched/init/os_start.c b/nuttx/sched/init/os_start.c index 27ebd29c2..8f3a190c2 100644 --- a/nuttx/sched/init/os_start.c +++ b/nuttx/sched/init/os_start.c @@ -300,6 +300,7 @@ void os_start(void) bzero((void*)&g_idletcb, sizeof(struct task_tcb_s)); g_idletcb.cmn.task_state = TSTATE_TASK_RUNNING; g_idletcb.cmn.entry.main = (main_t)os_start; + g_idletcb.cmn.flags = TCB_FLAG_TTYPE_KERNEL; /* Set the IDLE task name */ |