Simple library to manage the WatchDog timer, tested on LPC1768

Revision:
0:3744cb611b63
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/WatchDogTimer.h	Sat Jan 03 13:26:51 2015 +0000
@@ -0,0 +1,23 @@
+/**
+ * Apache License
+ * Version 2.0, January 2004
+ * http://www.apache.org/licenses/
+ */
+
+#ifndef WATCH_DOG_TIMER_H
+#define WATCH_DOG_TIMER_H
+
+#include "mbed.h"
+
+class WatchDogTimer {
+public: 
+
+    static const int SYSTEM_RESET_NORMAL = 1;
+    static const int SYSTEM_RESET_WATCH_DOG = 2;
+
+    WatchDogTimer(float seconds);
+    void feed();
+    static int systemResetReason();
+};
+
+#endif
\ No newline at end of file