> I'm not very familiar with the 8xxs, but I'm assuming they have no
> hardware floating point? If so, the soft float support we have in
> several other ports can probably be stolen -- it would be very
> straightforward.

Yes, we need software floating-point.  After looking at the emulators that
come with the compiler, I instead chose to steal the one in the arm32 port
(src/sys/lib/libc/arch/arm32/fplib).

Regards,

David Querbach
Real-Time Systems Inc.