#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.
*
* $WIZ$ type = "boolean"
+ * $WIZ$ supports = "False"
*/
#define CONFIG_KERN_HEAP 0
* Preemptive process scheduling. WARNING: Experimental, still incomplete!
*
* $WIZ$ type = "boolean"
+ * $WIZ$ supports = "False"
*/
#define CONFIG_KERN_PREEMPT 0
* Time sharing quantum (a prime number prevents interference effects) [ms].
*
* $WIZ$ type = "int"
- * $WIZ$ min = "0"
+ * $WIZ$ min = 1
*/
#define CONFIG_KERN_QUANTUM 47