It is possible to enable the gpio driver for using the <code>[https://elixir.bootlin.com/linux/v4.9/source/Documentation/devicetree/bindings/watchdog/gpio-wdt.txt gpio-watchdog</code> interface] driver: you have to enable the kernel driver <code>CONFIG_GPIO_WATCHDOG=y</code> and then configure the MIO 15 pin in the device tree, for example: