Hi all-

I'm in the process of compiling a kernel and noticed that in the CFLAGS of
the makefile "-msoft-float" is used.  My machine is a TT030, with a 68882
FPU.

Should the soft-float flag be given in the makefile?  Am i missing
something in the kernel configure file?  I don't have FPU_EMULATE
specified.  I assume the compiler is using 6888{1,2} instructions, but the
soft-float flag makes me curious. 

thanks
-kyle