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