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:
<pre class="workstation-terminal">
=== Using the WDT via sysfs ===
It If it is possible required to manage directly the WDI toggle pin at userspace , it is possible - for example - to manage the simply by activating it via <code>sysfs</code> interface, for example:
<pre class="workstation-terminal">
</pre>
In this example, its it is worth to remember remembering that the MIO pins (BANK 500) are available starting from <code>gpio906</code> (corresponding to MIO00), so:
* PS_MIO15_500 → MIO 15 → 906+15 → 921
=== Kernel debug ===
It is possible to see the kernel recognizes the GPIO pin status via: