From d897426d2f8435e4a46a3b9a6ff2d768392030b4 Mon Sep 17 00:00:00 2001
From: bernie <bernie@38d2e660-2303-0410-9eaa-f027e97ec537>
Date: Tue, 16 Nov 2004 20:59:06 +0000
Subject: [PATCH] Add watchdog timer support.

git-svn-id: https://src.develer.com/svnoss/bertos/trunk@271 38d2e660-2303-0410-9eaa-f027e97ec537
---
 drv/timer.c | 27 +++++++++++++++++++++++++--
 1 file changed, 25 insertions(+), 2 deletions(-)

diff --git a/drv/timer.c b/drv/timer.c
index 5a62332f..2bffa92d 100755
--- a/drv/timer.c
+++ b/drv/timer.c
@@ -14,6 +14,9 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.20  2004/11/16 20:59:06  bernie
+ *#* Add watchdog timer support.
+ *#*
  *#* Revision 1.19  2004/10/19 08:56:49  bernie
  *#* TIMER_STROBE_ON, TIMER_STROBE_OFF, TIMER_STROBE_INIT: Move from timer_avr.h to timer.h, where they really belong.
  *#*
@@ -75,8 +78,23 @@
 #include <hw.h>
 #include CPU_HEADER(timer)
 #include <debug.h>
+#include <config.h>
 
-#if defined(CONFIG_KERN_SIGNALS) && CONFIG_KERN_SIGNALS
+/*
+ * Sanity check for config parameters required by this module.
+ */
+#if !defined(CONFIG_KERNEL) || ((CONFIG_KERNEL != 0) && CONFIG_KERNEL != 1)
+	#error CONFIG_KERNEL must be set to either 0 or 1 in config.h
+#endif
+#if !defined(CONFIG_WATCHDOG) || ((CONFIG_WATCHDOG != 0) && CONFIG_WATCHDOG != 1)
+	#error CONFIG_WATCHDOG must be set to either 0 or 1 in config.h
+#endif
+
+#if CONFIG_WATCHDOG
+	#include <drv/wdt.h>
+#endif
+
+#if CONFIG_KERNEL && CONFIG_KERN_SIGNALS
 	#include <kern/proc.h>
 #endif
 
@@ -192,7 +210,12 @@ void timer_delay(time_t time)
 	time_t start = timer_ticks();
 
 	/* Busy wait */
-	while (timer_ticks() - start < time) { /* nop */ }
+	while (timer_ticks() - start < time)
+	{
+#if CONFIG_WATCHDOG
+		wdt_reset();
+#endif
+	}
 
 #endif /* !CONFIG_KERN_SIGNALS */
 }
-- 
2.25.1