Subject: Re: Port to 8xx embedded PPCs
To: None <>
From: David Querbach <>
List: tech-embed
Date: 06/19/2000 17:49:17
> 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


David Querbach
Real-Time Systems Inc.