#error CONFIG_WATCHDOG must be defined to either 0 or 1
#endif
#error CONFIG_WATCHDOG must be defined to either 0 or 1
#endif
-#if OS_HOSTED || !CONFIG_WATCHDOG
#include <cpu/detect.h>
#include <cfg/os.h>
#include <cpu/detect.h>
#include <cfg/os.h>
#else
#error unknown CPU
#endif
#else
#error unknown CPU
#endif
+#elif CONFIG_WATCHDOG
+ #include CPU_HEADER(wdt)
#endif /* CONFIG_WATCHDOG */
#endif /* CONFIG_WATCHDOG */
#if OS_HOSTED || !CONFIG_WATCHDOG
/**
* Reset the watchdog timer.
#if OS_HOSTED || !CONFIG_WATCHDOG
/**
* Reset the watchdog timer.