Hi,
it seems that my problem is in w32call.c line #143. We should not set the TS
if Thread->Tcb.NpxState is NPX_STATE_DIRTY. On a thread switch the fpu state
is saved because NpxState is NPX_STATE_DIRTY. This triggers the fpu
exception. If I remove this line it works again.
- Hartmut