+#define CONFIG_KERN 1
+
+#define CONFIG_KERN_SCHED 1 ///< Process schedling. $WIZ$ type = "boolean"
+#define CONFIG_KERN_SIGNALS 1 ///< Inter-process signals. $WIZ$ type = "boolean"
+#define CONFIG_KERN_IRQ 0 ///< Interrupt supervisor. $WIZ$ type = "boolean"
+#define CONFIG_KERN_HEAP 0 ///< Dynamic memory allocation. $WIZ$ type = "boolean"
+#define CONFIG_KERN_SEMAPHORES 1 ///< Re-entrant mutual exclusion primitives. $WIZ$ type = "boolean"
+#define CONFIG_KERN_MONITOR 1 ///< Process monitor. $WIZ$ type = "boolean"
+#define CONFIG_KERN_PREEMPT 0 ///< Preemptive process scheduling. $WIZ$ type = "boolean"
+#define CONFIG_KERN_PRI 0 ///< Priority-based scheduling policy. $WIZ$ type = "boolean"