Hello Jan,
I have tested your patch, it works fine in situation when cpu_has_mpx = 1 and
cpu_has_vmx_mpx = 0.
Thank you!
Best regards,
Dmitry Rockosov
> -Original Message-
> From: Jan Beulich [mailto:jbeul...@suse.com]
> Sent: Friday, August 26, 2016 11:09 AM
> To: Rock
Hello Xen team,
We are working on enabling XEN with WindRiver Simics, which is Intel reference
functional simulator for servers.
We found the issue in XEN with MPX using.
If MPX is supported by CPUID, but MPX is not supported by VMX, XEN is failing
on store CPU MSR GUEST_BNDCFGS (file xen-4.7.0
