config_kern.h

   1 /*!
   2  * \file
   3  * <!--
   4  * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
   5  * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
   6  * This file is part of DevLib - See devlib/README for information.
   7  * -->
   8  *
   9  * \brief Kernel configuration parameters
  10  *
  11  * \version $Id$
  12  *
  13  * \author Bernardo Innocenti <bernie@develer.com>
  14  */
  15
  16 /*
  17  * $Log$
  18  * Revision 1.3  2004/07/30 14:24:16  rasky
  19  * Task switching con salvataggio perfetto stato di interrupt (SR)
  20  * Kernel monitor per dump informazioni su stack dei processi
  21  *
  22  * Revision 1.2  2004/06/03 11:27:09  bernie
  23  * Add dual-license information.
  24  *
  25  * Revision 1.1  2004/05/23 17:48:35  bernie
  26  * Add top-level files.
  27  *
  28  */
  29 #ifndef CONFIG_KERN_H
  30 #define CONFIG_KERN_H
  31
  32 /*!
  33  * \name Modules activation
  34  *
  35  * \{
  36  */
  37 /*      Module/option          Active    Dependencies */
  38 #define CONFIG_KERN_SCHED       (1)
  39 #define CONFIG_KERN_SIGNALS     (1    && CONFIG_KERN_SCHED)
  40 #define CONFIG_KERN_TIMER       (1    && CONFIG_KERN_SIGNALS)
  41 #define CONFIG_KERN_HEAP        (0)
  42 #define CONFIG_KERN_SEMAPHORES  (0    && CONFIG_KERN_SIGNALS)
  43 #define CONFIG_KERN_MONITOR     (1    && CONFIG_KERN_SCHED)
  44 /*\}*/
  45
  46 /* EXPERIMENTAL */
  47 #define CONFIG_KERN_PREEMPTIVE  (0    && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER)
  48
  49
  50 #define CONFIG_KERN_HEAPSIZE    0x4000  /*!< Heap size (16KB) */
  51 #define CONFIG_KERN_QUANTUM     50      /*!< Scheduler time sharing quantum in ticks */
  52
  53 #if (ARCH & ARCH_EMUL)
  54         #define CONFIG_KERN_DEFSTACKSIZE  65536
  55 #else
  56         #define CONFIG_KERN_DEFSTACKSIZE  128  /*!< Default stack size for each thread */
  57 #endif
  58
  59 /* Memory fill codes to help debugging */
  60 #if CONFIG_KERN_MONITOR
  61         #define CONFIG_KERN_STACKFILLCODE  0xA5A5
  62         #define CONFIG_KERN_MEMFILLCODE    0xDBDB
  63 #endif
  64
  65
  66
  67 #endif /*  CONFIG_KERN_H */