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