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 README.devlib 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.8  2006/07/19 12:56:24  bernie
  19  *#* Convert to new Doxygen style.
  20  *#*
  21  *#* Revision 1.7  2006/02/21 16:05:53  bernie
  22  *#* Move from cfg/ to top-level.
  23  *#*
  24  *#* Revision 1.3  2005/11/04 16:20:01  bernie
  25  *#* Fix reference to README.devlib in header.
  26  *#*
  27  *#* Revision 1.2  2005/04/11 19:10:27  bernie
  28  *#* Include top-level headers from cfg/ subdir.
  29  *#*
  30  *#* Revision 1.1  2005/04/11 19:04:13  bernie
  31  *#* Move top-level headers to cfg/ subdir.
  32  *#*
  33  *#* Revision 1.5  2004/08/25 14:12:08  rasky
  34  *#* Aggiornato il comment block dei log RCS
  35  *#*
  36  *#* Revision 1.4  2004/08/24 16:19:38  bernie
  37  *#* Add missing header.
  38  *#*
  39  *#* Revision 1.3  2004/07/30 14:24:16  rasky
  40  *#* Task switching con salvataggio perfetto stato di interrupt (SR)
  41  *#* Kernel monitor per dump informazioni su stack dei processi
  42  *#*
  43  *#* Revision 1.2  2004/06/03 11:27:09  bernie
  44  *#* Add dual-license information.
  45  *#*
  46  *#* Revision 1.1  2004/05/23 17:48:35  bernie
  47  *#* Add top-level files.
  48  *#*
  49  *#*/
  50 #ifndef CONFIG_KERN_H
  51 #define CONFIG_KERN_H
  52
  53 #include <cfg/arch_config.h>  /* ARCH_EMUL */
  54
  55 /**
  56  * \name Modules activation
  57  *
  58  * \{
  59  */
  60 /*      Module/option          Active    Dependencies */
  61 #define CONFIG_KERN_SCHED       (1)
  62 #define CONFIG_KERN_SIGNALS     (1    && CONFIG_KERN_SCHED)
  63 #define CONFIG_KERN_TIMER       (1)
  64 #define CONFIG_KERN_HEAP        (0)
  65 #define CONFIG_KERN_SEMAPHORES  (0    && CONFIG_KERN_SIGNALS)
  66 #define CONFIG_KERN_MONITOR     (1    && CONFIG_KERN_SCHED)
  67 /*\}*/
  68
  69 /* EXPERIMENTAL */
  70 #define CONFIG_KERN_PREEMPTIVE  (0    && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER)
  71
  72 #define CONFIG_KERN_QUANTUM     50    /**< Time sharing quantum in timer ticks. */
  73
  74 #if (ARCH & ARCH_EMUL)
  75         #define CONFIG_KERN_DEFSTACKSIZE  65536
  76 #else
  77         #define CONFIG_KERN_DEFSTACKSIZE  128  /**< Default stack size for each thread. */
  78 #endif
  79
  80 /* Memory fill codes to help debugging */
  81 #if CONFIG_KERN_MONITOR
  82         #define CONFIG_KERN_STACKFILLCODE  0xA5A5
  83         #define CONFIG_KERN_MEMFILLCODE    0xDBDB
  84 #endif
  85
  86
  87 #endif /*  CONFIG_KERN_H */