#define CONFIG_KERN_SCHED (1)
#define CONFIG_KERN_SIGNALS (1 && CONFIG_KERN_SCHED)
#define CONFIG_KERN_TIMER (1)
+#define CONFIG_KERN_IRQ (1)
#define CONFIG_KERN_HEAP (0)
#define CONFIG_KERN_SEMAPHORES (0 && CONFIG_KERN_SIGNALS)
#define CONFIG_KERN_MONITOR (1 && CONFIG_KERN_SCHED)
+#define CONFIG_KERN_PREEMPT (1 && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER && CONFIG_KERN_IRQ)
/*\}*/
-/* EXPERIMENTAL */
-#define CONFIG_KERN_PREEMPT (1 && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER)
-
/* OBSOLETE */
#define CONFIG_KERN_PREEMPTIVE CONFIG_KERN_PREEMPT