Watchdog problem

davef
I have a mini2440 attached to 2 ATmega32U4 boards.  The watchdog facility
on the mini2440 does not appear to have the equivalent of a Watchdog system
reset flag that I find on the AVR ATmega series.

While I could reboot the mini2440, using its watchdog facility I also want
to reset these two boards.

After a search through watchdog issues I see that one solution might be an
external watchdog chip.  However, can anyone suggest a way of using the
watchdog on the mini2440 (/dev/watchdog) to reset some external
microcontrollers?

Thanks,
davef