#include <kernel/config.h>
#include <kernel/kernconf.hh>

USDK_API kernconf_type kernconf = {
  // Default is large enough until we enable a mechanism to dynamically
  // reallocate task space on demand.
  /* .default_stack_size = */         URBI_KERNEL_STACK_SIZE * 1024,
  /* .minimum_stack_size = */         4 * 1024
};

#include <kernel/kernconf.hh>

USDK_API kernconf_type kernconf = {
  // Default is large enough until we enable a mechanism to dynamically
  // reallocate task space on demand.
  /* .default_stack_size = */         128 * 1024,
  /* .minimum_stack_size = */         4 * 1024
};

--- 
+++ 
@@ -1,8 +1,9 @@
+#include <kernel/config.h>
 #include <kernel/kernconf.hh>
 
 USDK_API kernconf_type kernconf = {
   // Default is large enough until we enable a mechanism to dynamically
   // reallocate task space on demand.
-  /* .default_stack_size = */         128 * 1024,
+  /* .default_stack_size = */         URBI_KERNEL_STACK_SIZE * 1024,
   /* .minimum_stack_size = */         4 * 1024
 };
Use the stack size provided by configure.

	* src/kernel/kernconf.cc: Here.
