diff --git a/include/microkernel.h b/include/microkernel.h
index cf3fd264d5d..ee871c273ad 100644
--- a/include/microkernel.h
+++ b/include/microkernel.h
@@ -75,7 +75,6 @@ typedef void (*taskabortfunction)(void);
 extern void kernel_init(void);
 extern void init_node(void);    /* generated function */
 extern void init_drivers(void); /* generated function */
-extern int _k_server_stack_size;
 
 extern int _k_task_count;
 extern int _k_mem_map_count;
diff --git a/kernel/microkernel/global.c b/kernel/microkernel/global.c
index ba61147673e..e4a0e14c2e1 100644
--- a/kernel/microkernel/global.c
+++ b/kernel/microkernel/global.c
@@ -42,8 +42,8 @@
 #endif
 
 extern void init_node(void);     /* generated by SYSGEN */
-extern int _k_server_stack_size;		 /* generated by SYSGEN */
-extern char _k_server_stack[];      /* generated by SYSGEN */
+
+char __noinit _k_server_stack[CONFIG_MICROKERNEL_SERVER_STACK_SIZE];
 
 struct nano_stack __noinit _k_command_stack;
 
@@ -83,8 +83,8 @@ void kernel_init(void)
 #endif
 	nano_stack_init(&_k_command_stack, _k_server_command_stack_storage);
 
-	task_fiber_start((char *)_k_server_stack,
-			   _k_server_stack_size,
+	task_fiber_start(_k_server_stack,
+			   CONFIG_MICROKERNEL_SERVER_STACK_SIZE,
 			   K_swapper,
 			   0,
 			   0,
diff --git a/scripts/sysgen.py b/scripts/sysgen.py
index a083b8c2e82..72935e9deb6 100755
--- a/scripts/sysgen.py
+++ b/scripts/sysgen.py
@@ -307,12 +307,6 @@ def kernel_main_c_header():
         "#include <sections.h>\n" +
         "#include <vxmicro.h>\n")
 
-    kernel_main_c_out("\n" +
-        "char __noinit " +
-        "_k_server_stack[CONFIG_MICROKERNEL_SERVER_STACK_SIZE];\n")
-    kernel_main_c_out(
-        "int _k_server_stack_size = CONFIG_MICROKERNEL_SERVER_STACK_SIZE;\n")
-
 
 def kernel_main_c_kargs():
     """ Generate command packet variables """