Benjamin Walsh 87179c2e36 nanokernel: add NANO_TIMERS option ... The nanokernel timers will be available in the microkernel, but can be disabled if not needed. A kconfig option is needed for that: the option is enabled by default, and only available in the nanokernel for now. It will be made available in the microkernel in the future. Change-Id: I3910affde7bd2e7b25ab0a3c655255a9be01c9b8 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-02-05 20:14:22 -05:00
..
microkernel	Rename enlist_timeout(), delist_timeout(), and force_timeout() APIs	2016-02-05 20:14:20 -05:00
nanokernel	nanokernel: add NANO_TIMERS option	2016-02-05 20:14:22 -05:00
Kconfig	Kconfig: change kernel names in menu	2016-02-05 20:14:11 -05:00
Makefile	Kbuild: adapt Makefile/Kconfig to kernel/common/ removal	2016-02-05 20:14:06 -05:00