Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision 08a19ba655441635df46ca12a53414694005e074)
+++ kernel/generic/include/config.h	(revision 7560b606cea3b9fdec24aa6444d3e37011f2d025)
@@ -41,5 +41,5 @@
 #define STACK_SIZE		PAGE_SIZE
 
-#define CONFIG_MEMORY_SIZE	(8 * 1024 * 1024)
+#define CONFIG_MEMORY_SIZE	(16 * 1024 * 1024)
 
 #define CONFIG_INIT_TASKS	32