In message <Pine.LNX.4.44.0209111537420.1731-100000 at manoir.bloodwolf.org> you wrote: > > I forgot to mention that I was able to verify that the floating point > emulator *works*. I examined the result of a floating point division in > memory and it was valid. So I guess it is the libc I am using. Like I > said, could it be that it was compiled with -msoft-float?
You are right: the whole ELDK environment for the 8xx (and for the 4xx, btw.) uses -msoft-float. Wolfgang Denk -- Software Engineering: Embedded and Realtime Systems, Embedded Linux Phone: (+49)-8142-4596-87 Fax: (+49)-8142-4596-88 Email: wd at denx.de "Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth ** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/