[PATCH} PIKA FPGA WDT driver

The PIKA FPGA has a watchdog. It is currently only used on the Warp board, but it could be used on other future PIKA products. We tend to try to reuse FPGA code as much as possible.

Cheers,
Sean

---

index 52dff40..fc1b9fe 100644
@@ -666,6 +666,14 @@ config BOOKE_WDT

Please see Documentation/watchdog/watchdog-api.txt for more information.

+config PIKA_WDT
+ tristate "PIKA FPGA Watchdog"
+ depends on WARP
+ default y
+ help
+ This enables the watchdog in the PIKA FPGA. Currently used on
+ the Warp platform.
+
# PPC64 Architecture

config WATCHDOG_RTAS

index 87483cc..efa4731 100644
@@ -102,6 +102,7 @@ obj-$(CONFIG_MPC5200_WDT) += mpc5200_wdt.o

obj-$(CONFIG_83xx_WDT) += mpc83xx_wdt.o
obj-$(CONFIG_MV64X60_WDT) += mv64x60_wdt.o
obj-$(CONFIG_BOOKE_WDT) += booke_wdt.o
+obj-$(CONFIG_PIKA_WDT) += pika_wdt.o

# PPC64 Architecture
obj-$(CONFIG_WATCHDOG_RTAS) += wdrtas.o