osov, Dmitry
> Cc: Andrew Cooper ; Sorokin, Georgy
> ; Rechistov, Grigory
> ; Nakajima, Jun ;
> Tian, Kevin ; Kornev, Roman M
> ; Samoylidi, Sergey N
> ; xen-devel@lists.xen.org
> Subject: Re: [Xen-devel] Issue in MPX support in Xen
>
> >>> On 25.08.16 at 18:53,
>>> On 26.08.16 at 10:09, wrote:
On 25.08.16 at 18:53, wrote:
>> 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
> From: Jan Beulich [mailto:jbeul...@suse.com]
> Sent: Friday, August 26, 2016 4:09 PM
>
> >>> On 25.08.16 at 18:53, wrote:
> > 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.
>
>>> On 25.08.16 at 18:53, wrote:
> 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
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
