On Wed, Jun 20, 2018 at 08:34:13AM +0200, Juergen Gross wrote:
> Brian, would you please give the attached patch a try?
> 
> 
> Juergen

Juergen,

It works for Dom0.  You see a lot of messages that are like:
(XEN) emul-priv-op.c:1166:d0v1 Domain attempted WRMSR c0011020 from 
0x0206800000000000 to 0x0206800000000400
(XEN) emul-priv-op.c:1166:d0v0 Domain attempted WRMSR c0011020 from 
0x0206800000000000 to 0x0206800000000400

But it boots up.  I'll test a DomU with a newer kernel after I get back
from lunch.

-- 
Brian Woods

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to