Hello, it seems that the mi_switch && cpu_switchto do not check if the fpu has been used or not and do the state save by default ( I didn't find the fpu store so I guess it is somewhere I could not see it yet). Why not have a check to save some time ? -- Jog