Allan Stephens fd117970d3 Eliminate duplicate declarations of private microkernel APIs ... These declarations do not need to appear in minik.h, since it already gets them by including kernel_main.h. Change-Id: I35ff9cc2d371c60a08a7cf8bde289f467a259dea Signed-off-by: Allan Stephens <allan.stephens@windriver.com>		2016-02-05 20:14:19 -05:00
..
microkernel	Eliminate duplicate declarations of private microkernel APIs	2016-02-05 20:14:19 -05:00
nanokernel	Rename VXMICRO_ARCH and VXMICRO	2016-02-05 20:14:16 -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