On 11 October 2015 at 19:58, Michael Davidsaver <mdavidsa...@gmail.com> wrote: > I'm starting to doubt my diagnosis. The bug may be in my understanding of > the interrupt priorities. I'll have to do another test program.
Note that our handling of prioritization of the internal exceptions is pretty badly broken. The fix for this probably involves a redesign rather than a point fix :-/ thanks -- PMM
