Re: [PATCH] powerpc: Watchdog timer support for GE Fanuc SBC610

Support for the SBC610 VPX Single Baord Computer from GE Fanuc (PowerPC
MPC8641D).

This patch adds support for the watchdog timer in the devices main FPGA.
There are two identical watchdog timers at different offsets in the main
FPGA, this driver is capable of supporting one of them. The watchdog timers
are also capable of generating interrupts at a user-configurable threshold,
though support for this operation is currently not supported by the driver.

Signed-off-by: Martyn Welch <redacted>
---

 arch/powerpc/boot/dts/gef_sbc610.dts           |   19 +
 arch/powerpc/configs/86xx/gef_sbc610_defconfig |    1 
 drivers/watchdog/Kconfig                       |    6 
 drivers/watchdog/Makefile                      |    1 
 drivers/watchdog/gef_wdt.c                     |  333 ++++++++++++++++++++++++
 5 files changed, 360 insertions(+), 0 deletions(-)

diff --git a/arch/powerpc/boot/dts/gef_sbc610.dts b/arch/powerpc/boot/dts/gef_sbc610.dts
index 1f7833c..5c7a38a 100644
--- a/arch/powerpc/boot/dts/gef_sbc610.dts
+++ b/arch/powerpc/boot/dts/gef_sbc610.dts

@@ -88,6 +88,25 @@
 			compatible = "gef,fpga-regs";
 			reg = <0x4 0x0 0x40>;
 		};
+
+		wdt@4,2000 {
+			#interrupt-cells = <2>;

+			compatible = "gef,fpga-wdt";
+			reg = <0x4 0x2000 0x8>;
+			interrupts = <0x1a 0x4>;
+			interrupt-parent = <&gef_pic>;
+		};
+		/* Second watchdog available, driver currently supports one.
+		wdt@4,2010 {
+			#interrupt-cells = <2>;
+			device_type = "watchdog";
+			compatible = "gef,fpga-wdt";
+			reg = <0x4 0x2010 0x8>;
+			interrupts = <0x1b 0x4>;
+			interrupt-parent = <&gef_pic>;
+		};