Yeah, just wanted to report those somewhere - is there a specific issue tracker for his work, or is doing it here 'OK'?
As for the EKOS debugger - will have to see where to get it. Is that on github somewhere? Though a BT from gdb on the coredump (once I have a valid one....) should be OK, too, or not?