[Armadillo:09293] Armadillo840でのハードウェアウォッチドッグの利用について

[柳沢智之]

初めまして。柳沢と申します。

Armadillo840でハードウェアウォッチドックを利用したいのですが、
/dev/watchdogが存在しないため利用できません。

make menuconfigでWatchdog Timer Supportを下記のように設定してビルドしな
おしてみた のですが、
それでも/dev/watchdogが存在しないようです。

│ │ --- Watchdog Timer Support │ │
│ │ -*- WatchDog Timer Driver Core │ │
│ │ [ ] Disable watchdog shutdown on close │ │
│ │ *** Watchdog Device Drivers *** │ │
│ │ < > Software watchdog │ │
│ │ <*> Synopsys DesignWare watchdog │ │
│ │ <*> Max63xx watchdog │ │
│ │ <*> SH-Mobile watchdog │ │
│ │ *** USB-based Watchdog Cards *** │ │
│ │ < > Berkshire Products USB-PC Watchdog │ │

Armadillo840でハードウェアウォッチドックを利用するにはどうしたらよいので
しょうか？
それともArmadillo840ではハードウェアウォッチドックは利用できないのでしょ
うか？

ご存知の方がおられましたら、教えていただけないでしょうか。
よろしくお願いします。