I'm struggling with the watchdog timer (wdt) for a while. I can't get it working.
My microcontroller is a AriaG25, based on the AT91SAM925. I have used this tutorial to compile the kernel. The kernel settings related to the wdt looks like this:
CONFIG_WATCHDOG=y       
CONFIG_AT91SAM9X_WATCHDOG=y   
The kernel has been compiled without problem and boots succesfully. I've installed the watchdog deamon software via apt-get. And now I'm stuck. How do I get the watchdog working? I read a lot about /dev/watchdog. I don't have that file.  Do I have to put the driver for my hardware there? Is this a driver?