Gregory Nutt
|
b4423c1eed
|
Make some file section headers more consistent with standard
|
2015-04-08 06:47:36 -06:00 |
|
Gregory Nutt
|
b2a94b6f2b
|
Fix more places where the user-mode allocator is used to allocate kernel thread resources -- before the user-mode allocator even exists
|
2014-09-03 14:58:24 -06:00 |
|
Gregory Nutt
|
23147c40a5
|
Remove final traces of the 8015 from the NuttX source tree
|
2014-09-01 13:21:15 -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 |