Benjamin Walsh 1b5b6e44f7 kernel: add _IS_IDLE_TASK() ... Add a way of finding if a microkernel task is the idle task instead of of duplicating: task_priority_get() == (CONFIG_NUM_TASK_PRIORITIES - 1) which could be subject to change. Only available for microkernel, since there is no such concept in the nanokernel. Change-Id: Ie8930981f1a2ac5ff16f905f4eb4e333c8b59c5d Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-05-11 20:22:24 +00:00
..
configs	kconfig: use zephyr as the binary name globally	2016-02-05 20:24:22 -05:00
microkernel	kernel: add _IS_IDLE_TASK()	2016-05-11 20:22:24 +00:00
nanokernel	kernel: add _IS_IDLE_TASK()	2016-05-11 20:22:24 +00:00
Kconfig	refactor common driver initialization priorities	2016-03-28 15:58:29 -07:00
Makefile	Kbuild: adapt Makefile/Kconfig to kernel/common/ removal	2016-02-05 20:14:06 -05:00