#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
* Preemptive process scheduling. WARNING: Experimental, still incomplete!
*
* $WIZ$ type = "boolean"
+ * $WIZ$ supports = "False"
*/
#define CONFIG_KERN_PREEMPT 0