Gregory Nutt 4d029ee13b uintptr_t should be 64-bits under Cygwin64		2014-08-22 15:18:55 -06:00
..
include	uintptr_t should be 64-bits under Cygwin64	2014-08-22 15:18:55 -06:00
src	Fix errors in documentation and comments related to the Tickless OS. From Vijay Kumar	2014-08-09 06:41:38 -06:00
Kconfig	Various Kconfig files still have references to CONFIG_ variables. Some in harmless comments, some in config definionts which is not harmless. All removed	2013-04-25 15:52:00 -06:00