Hi Ingo, Neil,
Doing more unification of dumpstack is/was on my
TODO list, but it got sidetracked with some other
hobby projects.
I did unify oops_begin, oops_end, die and die_nmi,
and it seems to work. It needs more careful testing,
I think, but if someone (Neil?) wants to take a
look and validate the result...
Greetings,
Alexander
