Gregory Nutt 23147c40a5 Remove final traces of the 8015 from the NuttX source tree

2014-09-01 13:21:15 -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

work_cancel.c

…

work_queue.c

…

work_signal.c

…

work_thread.c

Rename CONFIG_NUTTX_KERNEL to CONFIG_BUILD_PROTECTED; Partially integrate new CONFIG_BUILD_KERNEL

2014-08-29 14:47:22 -06:00

work_usrstart.c

Remove final traces of the 8015 from the NuttX source tree

2014-09-01 13:21:15 -06:00