Gregory Nutt 1018296e27 Make some file section headers more consistent with standard		2015-04-08 07:32:08 -06:00
..
Make.defs	Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL	2014-08-29 14:47:22 -06:00
sched_getprioritymax.c	Make some file section headers more consistent with standard	2015-04-08 07:32:08 -06:00
sched_getprioritymin.c	Make some file section headers more consistent with standard	2015-04-08 07:32:08 -06:00
task_startup.c	Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL	2014-08-29 14:47:22 -06:00