-#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.
-#define KERN_LOG_LEVEL LOG_LVL_ERR
-
-/// Module logging format.
-#define KERN_LOG_FORMAT LOG_FMT_VERBOSE