*
* \author Bernie Innocenti <bernie@codewiz.org>
*
- * \brief Watchdog interface
+ * \brief Watchdog module, supplies a simple API to manage wdt on supported target.
+ *
+ * $WIZARD_MODULE = {
+ * "name" : "wdt",
+ * "depends" : [],
+ * "configuration" : "bertos/cfg/cfg_wdt.h"
+ * }
*/
#ifndef DRV_WDT_H
#define DRV_WDT_H
#include "cfg/cfg_wdt.h"
-#include "cfg/cfg_arch.h"
#include <cfg/compiler.h> // INLINE
* Start the watchdog timer that fire at the select
* timeout.
*
- * \param timeout, this value is target dependant.
- * See the target documentation for more detail.
+ * \param timeout this value is target dependant.
+ * See the target documentation for more details.
*/
INLINE void wdt_start(uint32_t timeout)
{