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.
Xenomai-core mailing list