X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fkern%2Fpreempt.c;h=a92460bdf07620a1d6c18976886d390e01909562;hb=b0c536ad873bb29ed977417a6a5b1aa586414d3b;hp=4b1ad9ee2d5dea8e213570eeb1c59fc400290fa6;hpb=8b2b3759daf3222963cbb3cd4364fef556622e87;p=bertos.git

diff --git a/bertos/kern/preempt.c b/bertos/kern/preempt.c
index 4b1ad9ee..a92460bd 100644
--- a/bertos/kern/preempt.c
+++ b/bertos/kern/preempt.c
@@ -44,7 +44,7 @@
  * \author Bernie Innocenti <bernie@codewiz.org>
  */
 
-#include <cfg/cfg_kern.h>
+#include "cfg/cfg_proc.h"
 
 #if CONFIG_KERN_PREEMPT
 
@@ -61,7 +61,7 @@
 #include <cfg/depend.h>    // CONFIG_DEPEND()
 
 // Check config dependencies
-CONFIG_DEPEND(CONFIG_KERN_PREEMPT,    CONFIG_KERN_SCHED && CONFIG_TIMER_EVENTS && CONFIG_KERN_IRQ);
+CONFIG_DEPEND(CONFIG_KERN_PREEMPT, CONFIG_KERN && CONFIG_TIMER_EVENTS && CONFIG_KERN_IRQ);
 
 MOD_DEFINE(preempt)