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
..
critical.c	microkernel: rename K_swapper to _k_server	2016-02-05 20:15:21 -05:00
Makefile	Use ccflags-y and asflags-y instead of EXTRA_CFLAGS	2016-02-05 20:14:14 -05:00