*/
#define CONFIG_KERN 1
-/**
- * \name Optional kernel features
- * \{
- */
#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_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)
#define CONFIG_KERN_QUANTUM 47