I'm using echo 1 > /dev/watchdog to feed the watchdog. After 1 minute, my system restarts (this is expected), but the watchdog driver doesn't report the reboot. I.e. $ sudo dmesg | grep watchdog returns:[    0.083390] NMI watchdog: enabled on all CPUs, permanently consumes  one hw-PMU counter.  [35.337018] sp5100_tco: Using 0xfed80b00 for  watchdog MMIO address  [35.337027] sp5100_tco: Last reboot was not  triggered by watchdog.(emphasis mine).I get the feeling this is not the expected behavior. it may be a bug, since I'm testing a patch series for the watchdog driver, posted here: https://bugzilla.kernel.org/show_bug.cgi?id=170741Can anyone confirm if the message is correct?
Watchdog reboot not properly reported
linux;kernel;linux kernel;drivers;watchdog