Use int numbers; fix some min and max values.

[bertos.git] / bertos / cfg / cfg_proc.h

diff --git a/bertos/cfg/cfg_proc.h b/bertos/cfg/cfg_proc.h
index e4489517cd177cb81aebfad4c30e592969cab07c..b2337bf25e6202f4efd600f9d58ac8135344554a 100644 (file)
--- a/bertos/cfg/cfg_proc.h
+++ b/bertos/cfg/cfg_proc.h
@@ -47,8 +47,9 @@
 #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
 
@@ -63,6 +64,7 @@
  * Preemptive process scheduling. WARNING: Experimental, still incomplete!
  *
  * $WIZ$ type = "boolean"
+ * $WIZ$ supports = "False"
  */
 #define CONFIG_KERN_PREEMPT 0
 
@@ -76,7 +78,7 @@
  * Time sharing quantum (a prime number prevents interference effects) [ms].
  *
  * $WIZ$ type = "int"
- * $WIZ$ min = "0"
+ * $WIZ$ min = 1
  */
 #define CONFIG_KERN_QUANTUM 47