/**
* Enable the multithreading kernel.
+ *
+ * $WIZ$ type = "boolean"
*/
#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"
+
/**
- * \name Optional kernel features
- * \{
+ * [ms] Time sharing quantum (a prime number prevents interference effects)
+ *
+ * $WIZ$ type = "int"
+ * $WIZ$ min = "0"
*/
-#define CONFIG_KERN_SCHED 1 ///< Process schedling
-#define CONFIG_KERN_SIGNALS 1 ///< Inter-process signals
-#define CONFIG_KERN_IRQ 1 ///< Interrupt supervisor
-#define CONFIG_KERN_HEAP 0 ///< Dynamic memory allocation
-#define CONFIG_KERN_SEMAPHORES 0 ///< Re-entrant mutual exclusion primitives
-#define CONFIG_KERN_MONITOR 1 ///< Process monitor
-#define CONFIG_KERN_PREEMPT 1 ///< Preemptive process scheduling
-#define CONFIG_KERN_PRI 1 ///< Priority-based scheduling policy
-/*\}*/
-
-/// [ms] Time sharing quantum (a prime number prevents interference effects)
#define CONFIG_KERN_QUANTUM 47
-/// Module logging level.
+/**
+ * Module logging level.
+ *
+ * $WIZ$ type = "enum"
+ * $WIZ$ value_list = "log_level"
+ */
#define KERN_LOG_LEVEL LOG_LVL_ERR
-/// Module logging format.
+/**
+ * Module logging level.
+ *
+ * $WIZ$ type = "enum"
+ * $WIZ$ value_list = "log_level"
+ */
#define KERN_LOG_FORMAT LOG_FMT_VERBOSE
-#define CONFIG_KERN_PREEMPTIVE CONFIG_KERN_PREEMPT // OBSOLETE
-#define CONFIG_KERNEL CONFIG_KERN // OBSOLETE
-
#endif /* CFG_KERN_H */