-/* Module/option Active Dependencies */
-#define CONFIG_KERN_SCHED (0)
-#define CONFIG_KERN_SIGNALS (0 && CONFIG_KERN_SCHED)
-#define CONFIG_KERN_TIMER (0)
-#define CONFIG_KERN_IRQ (0)
-#define CONFIG_KERN_HEAP (0)
-#define CONFIG_KERN_SEMAPHORES (0 && CONFIG_KERN_SIGNALS)
-#define CONFIG_KERN_MONITOR (0 && CONFIG_KERN_SCHED)
-#define CONFIG_KERN_PREEMPT (0 && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER && CONFIG_KERN_IRQ)
-
-/* EXPERIMENTAL */
-
-/* OBSOLETE */
-#define CONFIG_KERN_PREEMPTIVE CONFIG_KERN_PREEMPT
+#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
+/*\}*/