> > 	1) To get FPA support, the whole world would need compiling
> > -mhard-float (as I understand is the case now).

This could be done, but it would be unable to share code with other ARM 
ports

> >
> > 	2) To get FPA support, a modified libc would be needed with
> > assembler stubs (as is theoretically possible now).
> 
> Either one of those would get you FPA support (assuming a suitable kernel,
> which I believe we don't yet have).  The former would produce much faster
> code, but might take rather longer.

This would be easiest, and binary compatible.

> 
> > 	3) Ultimately, all FPA support will disappear.
> 
> I don't believe there's any intention of removing FPA support.

I've not suggested that, and I don't think anyone else has either.

Richard.