X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer.c;h=7e99d78ee8822b9e6eeaadbdd434b09c221fc8ac;hb=8b2b3759daf3222963cbb3cd4364fef556622e87;hp=bd0ff9daed9ec26bfe5ae35ff5266917b72329b1;hpb=cb25e667d29d98c4e7c19d2d63d426760f492e7c;p=bertos.git

diff --git a/bertos/drv/timer.c b/bertos/drv/timer.c
index bd0ff9da..7e99d78e 100644
--- a/bertos/drv/timer.c
+++ b/bertos/drv/timer.c
@@ -40,7 +40,8 @@
 
 #include "cfg/cfg_timer.h"
 #include "cfg/cfg_wdt.h"
-#include "cfg/cfg_kern.h"
+#include "cfg/cfg_proc.h"
+#include "cfg/cfg_signal.h"
 #include <cfg/os.h>
 #include <cfg/debug.h>
 #include <cfg/module.h>
@@ -48,6 +49,7 @@
 #include <cpu/attr.h>
 #include <cpu/types.h>
 #include <cpu/irq.h>
+#include <cpu/power.h> // cpu_relax()
 
 /*
  * Include platform-specific binding code if we're hosted.
@@ -197,11 +199,7 @@ void timer_delayTicks(ticks_t delay)
 
 	/* Busy wait */
 	while (timer_clock() - start < delay)
-	{
-#if CONFIG_WATCHDOG
-		wdt_reset();
-#endif
-	}
+		cpu_relax();
 
 #endif /* !CONFIG_KERN_SIGNALS */
 }