Dear Greg, I've been exploring the AUTOMONITOR feature and I had an issue. It seems the watchdog_automonitor_capture callback expects to receive a watchdog_upperhalf_s * pointer, but since the registration and call of this callback happen from inside the lower-half, how would we be supposed to pass a watchdog_upperhalf_s * pointer? I mean, from inside the lower-half it seems that I only have access to the watchdog_lowerhalf_s * .
Thanks in advance, warm regards, Sara Monteiro
