Peter Mitsis 136bef3c5d timer_driver() no longer takes a parameter ... Removing the parameter to timer_driver() as it is not used. Change-Id: I09275287eeb541be0dd315056b4f2bc6cbc2573c Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>		2016-02-05 20:14:33 -05:00
..
microkernel	doxygen: add @brief and capitalize	2016-02-05 20:14:33 -05:00
nanokernel	timer_driver() no longer takes a parameter	2016-02-05 20:14:33 -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