X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=drv%2Ftimer.c;fp=drv%2Ftimer.c;h=0e756dbb6cb01c435062380cbd60536d0e165520;hb=a402475c117eebe784591ae512a56ff7e163918c;hp=45ce64b44a892165bb5247c9d7b63c1b49fbdf58;hpb=7af44c59736ad212ad0f7b0269493db8d5122dc5;p=bertos.git

diff --git a/drv/timer.c b/drv/timer.c
index 45ce64b4..0e756dbb 100644
--- a/drv/timer.c
+++ b/drv/timer.c
@@ -74,7 +74,9 @@
 
 #if CONFIG_KERNEL
 	#include <config_kern.h>
-	#include <hw/switch.h>
+	#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() */