Allan Stephens df368598cb Rename kernel/nanokernel/microk.c to kernel/microkernel/server.c ... Relocates the microkernel server implementation so that it appears in the intuitive kernel subdirectory, and give it a more meaningful name. Change-Id: Id93620b6f5e4797bbbeef9eadf02490e19220d7e Signed-off-by: Allan Stephens <allan.stephens@windriver.com>		2016-02-05 20:13:52 -05:00
..
microkernel	Rename kernel/nanokernel/microk.c to kernel/microkernel/server.c	2016-02-05 20:13:52 -05:00
nanokernel	Rename kernel/nanokernel/microk.c to kernel/microkernel/server.c	2016-02-05 20:13:52 -05:00
defs.objs	Eliminate unnecessary utilities directory	2016-02-05 20:13:51 -05:00