X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fcfg%2Fcfg_kern.h;h=4b2286b364f60ac0315192254a25486fa33bf6db;hb=1815e3dc48701e41cd28cd6241398b972bedba50;hp=a135843d2204767e3fc5d69d61006bc6dddf6d58;hpb=515886be3106584a6d695d4b5453730121b91f74;p=bertos.git

diff --git a/bertos/cfg/cfg_kern.h b/bertos/cfg/cfg_kern.h
index a135843d..4b2286b3 100644
--- a/bertos/cfg/cfg_kern.h
+++ b/bertos/cfg/cfg_kern.h
@@ -28,13 +28,11 @@
  *
  * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
  * Copyright 1999,2000,2001 Bernie Innocenti <bernie@codewiz.org>
- *
  * -->
  *
  * \brief Kernel configuration parameters
  *
  * \version $Id$
- *
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 
@@ -44,12 +42,12 @@
 #include "cfg/cfg_arch.h"  /* ARCH_EMUL */
 
 /**
- * Multithreading kernel.
+ * Enable the multithreading kernel.
  */
 #define CONFIG_KERNEL 0
 
 /**
- * \name Modules activation
+ * \name Optional kernel features
  *
  * \{
  */
@@ -57,16 +55,24 @@
 #define CONFIG_KERN_SCHED       (0)
 #define CONFIG_KERN_SIGNALS     (0    && CONFIG_KERN_SCHED)
 #define CONFIG_KERN_TIMER       (0)
+#define CONFIG_KERN_IRQ         (0)
 #define CONFIG_KERN_HEAP        (0)
 #define CONFIG_KERN_SEMAPHORES  (0    && CONFIG_KERN_SIGNALS)
 #define CONFIG_KERN_MONITOR     (0    && CONFIG_KERN_SCHED)
-/*\}*/
+#define CONFIG_KERN_PREEMPT     (0    && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER && CONFIG_KERN_IRQ)
 
 /* EXPERIMENTAL */
-#define CONFIG_KERN_PREEMPTIVE  (0    && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER)
 
-#define CONFIG_KERN_QUANTUM     50    /**< Time sharing quantum in timer ticks. */
+/* OBSOLETE */
+#define CONFIG_KERN_PREEMPTIVE CONFIG_KERN_PREEMPT
+
+/// [ms] Time sharing quantum (a prime number prevents interference effects)
+#define CONFIG_KERN_QUANTUM     47
+
+/// Module logging level.
+#define KERN_LOG_LEVEL      LOG_LVL_ERR
 
-#define CONFIG_KERN_LOGLEVEL    LOG_LVL_ERR
+/// Module logging format.
+#define KERN_LOG_FORMAT     LOG_FMT_VERBOSE
 
 #endif /*  CFG_KERN_H */