Gregory Nutt e1769b22f1 Remove os_internal.h it has been replace by several new header files under sched/. There have been some sneak inclusion paths via os_internal.h, so expect a few compilation errors for some architectures

2014-08-08 18:39:28 -06:00

..

Make.defs

Move page fill sources from sched/ to sched/paging

2014-08-08 15:08:07 -06:00

timer_create.c

…

timer_delete.c

…

timer_getoverrun.c

…

timer_gettime.c

…

timer_initialize.c

…

timer_release.c

…

timer_settime.c

Remove os_internal.h it has been replace by several new header files under sched/. There have been some sneak inclusion paths via os_internal.h, so expect a few compilation errors for some architectures

2014-08-08 18:39:28 -06:00

timer.h

…