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