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/