Continue limiting exposure of microkernel APIs needed by sysgen

Relocates and renames the include file which declares non-public
APIs needed by sysgen from the directory containing the microkernel's
public API to the directory containing its non-public API.

Note: Need to come up with a more elegant way for generated
kernel_main.c to access kernel_main.h, since the current relative
path approach is kludgy.

Change-Id: I5e4b07038e566f1f161001d676a3b0faa487a480
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>

kernel/microkernel/include/kernel_main.h

@@ -1,4 +1,4 @@
-/* microkernel/entries.h */
+/* non-public microkernel APIs referenced by kernel_main.c */
 
 /*
  * Copyright (c) 1997-2012, 2014 Wind River Systems, Inc.
@@ -39,7 +39,7 @@
 extern "C" {
 #endif
 
-/* Non-public microkernel APIs referenced by kernel_main.c */
+/* APIs referenced by generated routines */
 
 extern void _pipe_init(void);
 extern void _mem_map_init(void);

kernel/microkernel/include/minik.h

@@ -34,7 +34,7 @@
 #define MINIK_H
 
 #include <microkernel/k_struct.h>
-#include <microkernel/entries.h>
+#include <kernel_main.h>
 #include <clock_vars.h>
 
 #define KERNEL_ENTRY(A) _k_task_call(A)

kernel/microkernel/server.c

@@ -44,7 +44,6 @@ interfering with each other.
 #include <minik.h>
 #include <nanok.h>
 #include <microkernel.h>
-#include <microkernel/entries.h> /* kernelfunc */
 #include <nanokernel.h>
 #include <misc/__assert.h>
 #include <drivers/system_timer.h>

scripts/sysgen.py

@@ -303,7 +303,7 @@ def kernel_main_c_header():
         do_not_edit_warning +
         "\n" +
         "#include <microkernel.h>\n" +
-        "#include <microkernel/entries.h>\n" +
+        "#include <../kernel/microkernel/include/kernel_main.h>\n" +
         "#include <toolchain.h>\n" +
         "#include <sections.h>\n" +
         "#include <vxmicro.h>\n")