-#define CONFIG_KERNEL 0
-
-/**
- * \name Optional kernel features
- *
- * \{
- */
-/* Module/option Active Dependencies */
-#define CONFIG_KERN_SCHED (0)
-#define CONFIG_KERN_SIGNALS (0 && CONFIG_KERN_SCHED)
-#define CONFIG_KERN_TIMER (0)
-#define CONFIG_KERN_IRQ (0)
-#define CONFIG_KERN_HEAP (0)
-#define CONFIG_KERN_SEMAPHORES (0 && CONFIG_KERN_SIGNALS)
-#define CONFIG_KERN_MONITOR (0 && CONFIG_KERN_SCHED)
-#define CONFIG_KERN_PREEMPT (0 && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER && CONFIG_KERN_IRQ)
-
-/* EXPERIMENTAL */