#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
};

#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
};

Use the stack size provided by configure.
Use the stack size provided by configure.

	* src/kernel/kernconf.cc: Here.
