Hi forum,
I would like to add a simple watchdog to my programm on my teensy 3.1
running teensduino.

When searching for arduino and watchdog I find howtos using wdt.h and then
wdt_reset() and wdt_enable();

So I #include <avr/wdt.h> which does compile

But the functions are not working.
The wdt.h in the include directory is empty.

How do i realize a simple watchdog with the teensy 3.1 ?

Thanks for your help