Include the wdt cpu specific header.
[bertos.git] / bertos / drv / wdt.h
index 85f33f8249b544d86bf5012c4f90e57e0dac0570..0cb221c3a18aa9a6a9d1a5aa528c04e931aade74 100644 (file)
@@ -50,7 +50,7 @@
        #error CONFIG_WATCHDOG must be defined to either 0 or 1
 #endif
 
-#if OS_HOSTED || !CONFIG_WATCHDOG
+#if OS_HOSTED
        #include <cpu/detect.h>
        #include <cfg/os.h>
 
        #else
                #error unknown CPU
        #endif
+#elif CONFIG_WATCHDOG
+       #include CPU_HEADER(wdt)
 #endif /* CONFIG_WATCHDOG */
 
 
+
 #if OS_HOSTED || !CONFIG_WATCHDOG
        /**
         * Reset the watchdog timer.