On Thu, 2007-09-27 at 09:59 +0200, Jan Kiszka wrote:

> And here comes the solution:
> The attached patch fixes a race related to changing MSR_IA32_SYSENTER_CS 
> when user space requested vm86[old]() services (I assume my X-server 
> does so in the scenario above, maybe to call into the BIOS). We have to 
> make sure that current->thread is always in sync with the MSR because we 
> consult both in __switch_to, thus we have to enforce atomicity of the 
> related code.
> The patch is for ipipe-1.8-08, but 1.10 is affected just as well.

Merged into both branches, thanks.

> Jan

Xenomai-core mailing list

Reply via email to