Benjamin Walsh aa78793e40 microkernel: rename K_swapper to _k_server ... Align with the newer terminology used for microkernel internal symbols. Change-Id: I623b383f90d9e37a49429a79774c7f7a4953bd5f Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-02-05 20:15:21 -05:00
..
app_kernel	events: rename task_event_set_handler()	2016-02-05 20:15:21 -05:00
boot_time	initial commit for next-gen sanity checks	2016-02-05 20:14:42 -05:00
footprint	microkernel: rename K_swapper to _k_server	2016-02-05 20:15:21 -05:00
latency_measure	irq: make utility functions private	2016-02-05 20:15:21 -05:00
sys_kernel	Clean up microkernel sys_kernel configuration files	2016-02-05 20:15:19 -05:00