diff --git a/kernel/microkernel/core/global.c b/kernel/microkernel/core/global.c
index 452250e7435..86e8a09f3cb 100644
--- a/kernel/microkernel/core/global.c
+++ b/kernel/microkernel/core/global.c
@@ -43,7 +43,7 @@
 
 extern void init_node(void);     /* generated by SYSGEN */
 extern int K_StackSize;		 /* generated by SYSGEN */
-extern char _minik_stack[];      /* generated by SYSGEN */
+extern char _k_server_stack[];      /* generated by SYSGEN */
 
 /*
  * Initialize the priority bit map globals to indicate that
@@ -89,7 +89,7 @@ void kernel_init(void)
 #endif
 	nano_stack_init(&K_Args, _minik_args);
 
-	task_fiber_start((char *)_minik_stack,
+	task_fiber_start((char *)_k_server_stack,
 			   K_StackSize,
 			   K_swapper,
 			   0,
diff --git a/scripts/sysgen.py b/scripts/sysgen.py
index b5b32f217db..7012cdf8f60 100755
--- a/scripts/sysgen.py
+++ b/scripts/sysgen.py
@@ -304,7 +304,7 @@ def kernel_main_c_header():
 
     kernel_main_c_out("\nconst knode_t K_ThisNode = 0x00010000;\n")
     kernel_main_c_out("\n" +
-        "char __noinit _minik_stack[CONFIG_MICROKERNEL_SERVER_STACK_SIZE];\n")
+        "char __noinit _k_server_stack[CONFIG_MICROKERNEL_SERVER_STACK_SIZE];\n")
     kernel_main_c_out(
         "int K_StackSize = CONFIG_MICROKERNEL_SERVER_STACK_SIZE;\n")