Gregory Nutt d78d3ef4ab Logic for delayed memory garbage collection for the case of user space memory will not work as implemented for the case of the kernel build. That is because the correct context is in place in order to free the user memory when sched_kufree is called, but will not be in place later when the memory garbage collection runs. If this feature is really needed, then some more substantial redesign is required		2015-09-07 14:40:18 -06:00
..
Make.defs	Simplify how C source files are selected in the build	2014-10-07 07:42:36 -06:00
init.h	Move task control files from sched/ to sched/task	2014-08-08 16:44:08 -06:00
os_bringup.c	Move board_ prototypes from arch.h to board.h	2015-02-27 20:02:03 -06:00
os_start.c	Logic for delayed memory garbage collection for the case of user space memory will not work as implemented for the case of the kernel build. That is because the correct context is in place in order to free the user memory when sched_kufree is called, but will not be in place later when the memory garbage collection runs. If this feature is really needed, then some more substantial redesign is required	2015-09-07 14:40:18 -06:00