Allan Stephens 96d746d3c1 Rename microkernel's minik.h to micro_private.h ... The new name better reflects that this file contains all private microkernel APIs that are used by various kernel subsystems. Change-Id: I5e52172a9e33aa130ce55ce59e887bba5c1c175a Signed-off-by: Allan Stephens <allan.stephens@windriver.com>		2016-02-05 20:14:26 -05:00
..
microkernel	Rename microkernel's minik.h to micro_private.h	2016-02-05 20:14:26 -05:00
nanokernel	Eliminate nanokernel's nanometrics.c	2016-02-05 20:14:26 -05:00
Kconfig	Kconfig: change kernel names in menu	2016-02-05 20:14:11 -05:00
Makefile	Kbuild: adapt Makefile/Kconfig to kernel/common/ removal	2016-02-05 20:14:06 -05:00