#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_SCHED 1 ///< Process schedling
#define CONFIG_KERN_SIGNALS 1 ///< Inter-process signals
#define CONFIG_KERN_IRQ 1 ///< Interrupt supervisor