"Machine check handling on Linux",
SUSE Labs,
ak@suse.de,
Aug 2004,
along with related stuff as he has worked on Linux machine check handling over the years.
He says:
- With the Pentium Pro Intel defined a new generic x86 machine architecture[intelsys]. This architecture is implemented by modern x86 CPUs from Intel and AMD. ... The advantage of this generic architecture is that a single machine check handler can work on many different CPUs.
(1) Proud that I was able to define, in 1991, a Machine Check Architecture that continues to be useful, with the *generic* property that Andi recognizes as one of its main goals.
(2) Ashamed that it should have taken until Andi got around to it in 2004-9 to get proper support into Linux.
---
TBD: write up the lessons learned from MCA, how I would do it better, as https://semipublic.comp-arch.net/wiki/Machine_Check_Architecture