Gregory Nutt
|
701719b2ca
|
Don't release user stack in kernel build. Already destroyed with all of the address environment
|
2014-09-15 12:45:41 -06:00 |
|
Gregory Nutt
|
e3ff0689bb
|
Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL
|
2014-08-29 14:47:22 -06:00 |
|
Gregory Nutt
|
d798dd37a7
|
Replace os_internal.h with sched/sched.h in files that actually reference something in sched.h
|
2014-08-08 17:53:55 -06:00 |
|
Gregory Nutt
|
23a334c066
|
Move task control files from sched/ to sched/task
|
2014-08-08 16:44:08 -06:00 |
|