Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 0aae87a68b103134fdc85e357962274d6849b220)
+++ kernel/generic/src/main/kinit.c	(revision e7267a2a04e93e48e35fdd68fe61f148d4e5094f)
@@ -176,5 +176,5 @@
 	 * stack with this default size.
 	 */
-	sysinfo_set_item_val("default.stack_size", NULL, STACK_SIZE);
+	sysinfo_set_item_val("default.stack_size", NULL, STACK_SIZE_USER);
 	
 	interrupts_enable();