 +	depends on ARCH_AT91
 +	select WATCHDOG_CORE
 +	help
-+	  Watchdog timer embedded into ISISpace iOBC. This will
++	  Watchdog timer embedded into ISIS iOBC. This will
 +	  reboot your system when the timeout is reached.
  
  config SAMA5D4_WATCHDOG

+ */
+
+/*
+ * The hardware watchdog in the ISISpace OBC is controlled by an external supervisor
+ * chip.  The supervisor expects the watchdog line to be bounced every tenth of a
+ * second, with an absolute maximum interval of once every second.  This allows
+ * several 1/10th sec check-ins to be missed without triggering a full reboot.

+module_platform_driver_probe(at91isiswdt_driver, at91isiswdt_probe);
+
+MODULE_AUTHOR("Catherine Freed <catherine@kubos.co>");
+MODULE_DESCRIPTION("Watchdog driver for ISIS AT91SAM9G20-based OBC");
+MODULE_LICENSE("GPL");
diff -uNr -x '*.dts' -x '*.mod*' -x '*.S' -x '*.o*' -x '.config*' -x 'auto*' -x defconfig -x '.*' -x '*.ko*' -x '*/arm/boot/*' -x '*builtin*' -x '*.conf' -x '*generated*' -x '*.s*' -x '*.gz*' -x '*.map*' -x '*vmlinux*' -x '*.lzma' -x Image -x zImage -x '*.a*' -x mconf -x config_data.h linux-4.4.23/drivers/watchdog/Kconfig modified-linux-4.4.23/drivers/watchdog/Kconfig
--- linux-4.4.23/drivers/watchdog/Kconfig	2016-09-30 03:20:43.000000000 -0500
