Hi Igor,
ok, the best reset solution is using the WDOG_B, but my question is now related to the PSCI fw:
is the PSCI firmware, for the function "PSCI_0_2_FN_SYSTEM_RESET", able to move the WDOG_B pin and so it needs this pin to reset the board?
In other words, in the kernel, I can remove the wdog1 from the machine_restart notifiers chain and use the wdog1 for other purposes, since the PSCI_0_2_FN_SYSTEM_RESET function uses the WDOG_B on its own?
Thanks,
Flavio