X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.c;h=0d78d198aaa3a6bb5690bab53f2ad59e49acb80f;hb=8cfe12e5b95974d75b98ec964fc7edaf37919f0e;hp=333d6cd83282ed7886b728b43c68861cbeeb697d;hpb=78eea60c48fd902dd469654a69b1dcf5abb93f0c;p=bertos.git

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index 333d6cd8..0d78d198 100644
--- a/bertos/drv/timer.c
+++ b/bertos/drv/timer.c
@@ -74,9 +74,6 @@
 #endif
 
 #if CONFIG_KERNEL
-	#if CONFIG_KERN_PREEMPTIVE
-		#include <hw/switch.h>
-	#endif
 	#if CONFIG_KERN_SIGNALS
 		#include <kern/signal.h> /* sig_wait(), sig_check() */
 		#include <kern/proc.h>   /* proc_current() */