Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 01029fc7e46acbe4cd80f0a678a085d214882028)
+++ kernel/generic/include/config.h	(revision 67b152eac7904a434fc44aeec4f36587b34d9f81)
@@ -44,4 +44,6 @@
 #define STACK_FRAMES  TWO_FRAMES
 #define STACK_SIZE    ((1 << STACK_FRAMES) << PAGE_WIDTH)
+
+#define STACK_SIZE_USER	((1 << STACK_FRAMES) * 1024 * 1024)
 
 #define CONFIG_INIT_TASKS        32