X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fcfg%2Fcfg_proc.h;h=fca6edef6abf100c97d7ffc8d86bbff7b8a2e1a3;hb=39e200e1f43474a96888f97e2271728c9605ccbe;hp=e4489517cd177cb81aebfad4c30e592969cab07c;hpb=cb25e667d29d98c4e7c19d2d63d426760f492e7c;p=bertos.git

diff --git a/bertos/cfg/cfg_proc.h b/bertos/cfg/cfg_proc.h
index e4489517..fca6edef 100644
--- a/bertos/cfg/cfg_proc.h
+++ b/bertos/cfg/cfg_proc.h
@@ -32,7 +32,6 @@
  *
  * \brief Kernel configuration parameters
  *
- * \version $Id$
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 
@@ -47,24 +46,27 @@
 #define CONFIG_KERN 0
 
 /**
- * Kernel interrupt supervisor.
+ * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
  * $WIZ$ type = "boolean"
+ * $WIZ$ supports = "False"
  */
 #define CONFIG_KERN_IRQ 0
 
 /**
- * Dynamic memory allocation for processes.
+ * Preemptive process scheduling.
  *
  * $WIZ$ type = "boolean"
+ * $WIZ$ conditional_deps = "timer"
  */
-#define CONFIG_KERN_HEAP 0
+#define CONFIG_KERN_PREEMPT 0
 
 /**
- * Preemptive process scheduling. WARNING: Experimental, still incomplete!
+ * Time sharing quantum (a prime number prevents interference effects) [ms].
  *
- * $WIZ$ type = "boolean"
+ * $WIZ$ type = "int"
+ * $WIZ$ min = 1
  */
-#define CONFIG_KERN_PREEMPT 0
+#define CONFIG_KERN_QUANTUM 11
 
 /**
  * Priority-based scheduling policy.
@@ -73,12 +75,24 @@
 #define CONFIG_KERN_PRI 0
 
 /**
- * Time sharing quantum (a prime number prevents interference effects) [ms].
- *
+ * Priority-inheritance protocol.
+ * $WIZ$ type = "boolean"
+ */
+#define CONFIG_KERN_PRI_INHERIT 0
+
+/**
+ * Dynamic memory allocation for processes.
+ * $WIZ$ type = "boolean"
+ * $WIZ$ conditional_deps = "heap"
+ */
+#define CONFIG_KERN_HEAP 0
+
+/**
+ * Size of the dynamic memory pool used by processes.
  * $WIZ$ type = "int"
- * $WIZ$ min = "0"
+ * $WIZ$ min = 0
  */
-#define CONFIG_KERN_QUANTUM 47
+#define CONFIG_KERN_HEAP_SIZE 2048L
 
 /**
  * Module logging level.