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/timer/Make.defs | |
parent | 4c448bf32281a4210bc16087be13cb31ff5acf5e (diff) | |
download | px4-nuttx-a55e7019368fbea82399cfa6901a87920d295805.tar.gz px4-nuttx-a55e7019368fbea82399cfa6901a87920d295805.tar.bz2 px4-nuttx-a55e7019368fbea82399cfa6901a87920d295805.zip |
IDLE TCB setup needs to indicate the the IDLE thread is a privileged, kernel thread
Diffstat (limited to 'nuttx/sched/timer/Make.defs')
0 files changed, 0 insertions, 0 deletions