-#define CONFIG_KERN_SCHED 1 ///< Process schedling
-#define CONFIG_KERN_SIGNALS 1 ///< Inter-process signals
-#define CONFIG_KERN_IRQ 0 ///< Interrupt supervisor
-#define CONFIG_KERN_HEAP 0 ///< Dynamic memory allocation
-#define CONFIG_KERN_SEMAPHORES 1 ///< Re-entrant mutual exclusion primitives
-#define CONFIG_KERN_MONITOR 1 ///< Process monitor
-#define CONFIG_KERN_PREEMPT 0 ///< Preemptive process scheduling
-#define CONFIG_KERN_PRI 0 ///< Priority-based scheduling policy
-/*\}*/
-
-/// [ms] Time sharing quantum (a prime number prevents interference effects)