Gregory Nutt b290160b3b Rename sched_process_timer to nxsched_process_timer. That is the appropriate name for an internal sched/ function (still many named incorrectly).		2019-03-20 19:27:40 -06:00
..
common	Rename sched_process_timer to nxsched_process_timer. That is the appropriate name for an internal sched/ function (still many named incorrectly).	2019-03-20 19:27:40 -06:00
m9s12	Rename sched_process_timer to nxsched_process_timer. That is the appropriate name for an internal sched/ function (still many named incorrectly).	2019-03-20 19:27:40 -06:00
.gitignore
Makefile	Build system: Remove fixed lib/ subdirectory and its content. Replace with new directory called staging/ that is created dynamically when building and removed when 'make clean' is done. This both improves the name and eliminates a garbage directory from the repository.	2018-05-29 11:36:21 -06:00