On Tue, May 26, 2020 at 11:44:18AM -0700, Jue Wang wrote:

On Tue, May 26, 2020 at 11:03 AM Jue Wang juew@google.com wrote:

...

I tried to test this but my guest image build setup was not able to build from kernel/git/bp/bp.git tip-ras-core branch. It appeared there was some bindeb-pkg issue.

The bindeb-pkg issue is resolved and I tested the following branch in KVM guest and the injected MCE is recovered. https://git.kernel.org/pub/scm/linux/kernel/git/bp/bp.git/log/?h=tip-ras-cor...

Thanks to both of you!