Benjamin Walsh a5a6ba8e4e microkernel: rename _k_server parameters ... Reflect the fact that they are not used. Change-Id: I6ea83cb2c7532e10988cbf4350edccb78f444328 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-02-05 20:15:21 -05:00
..
apps	Add profile collector sample.	2016-02-05 20:15:20 -05:00
benchmark	microkernel: rename _k_server parameters	2016-02-05 20:15:21 -05:00
test	microkernel: rename K_swapper to _k_server	2016-02-05 20:15:21 -05:00