#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/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 = */         URBI_KERNEL_STACK_SIZE * 1024 / 8
};

Make the minimum stack size depend on the default stack size.
Make the minimum stack size depend on the default stack size.

More exactly, it depends on the stack size chosen at compilation time.
There is no reason to change the guard even if the stack size is
changed at run time.

	* src/kernel/kernconf.cc: Set the minimum stack size from the
	default stack size.
