One thing do is what we do in RTLinux (and the kernel, for that matter): enable the fpu save fp state
do your fp work restore fpu state disable fpu if it was disabled when we entered above ** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/
