Investigate support for MCE driver in Linux PVH dom0

Description:

Investigate how to either enable the Linux Xen PV MCE driver or implement equivalent support for a PVH dom0 (see drivers/xen/mcelog.c).

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information