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?

TL;DR: What are step that need to be taken to enable the watchdog timer (for the AriaG25)?

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?