Gregory Nutt 246773faa7 Rename CONFIG_SCHED_TIMEKEEPING to CONFIG_CLOCK_TIMEKEEPING. That is a better compartmentalized name.		2016-07-11 06:54:02 -06:00
..
include	Add support for the NXP Freedom-K64F board. This is primarily the work of Jordan Macintyre. I leveraged this code from https://github.com/jmacintyre/nuttx-k64f	2016-07-01 15:42:21 -06:00
src	Rename CONFIG_SCHED_TIMEKEEPING to CONFIG_CLOCK_TIMEKEEPING. That is a better compartmentalized name.	2016-07-11 06:54:02 -06:00
Kconfig	timekeeping: initial implementation	2016-07-10 16:14:25 -06:00