The issue has re-occured with r3072. Going to try to gather additional information about it by using gdb on further events.
The issue has re-occured with r3072.
Going to try to gather additional information about it by using gdb on further events.