> > > 	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

From my point of view I would be looking at doing a special build for the
target machine, so this would not be a problem.

> > >
> > > 	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.

Question:  what needs to be done to the kernel to get either of these to
work?  When I first got NetBSD going on my A7000+ I enquired about FPA
support and I got the impression that either -mhard-float or the modified
libc would be sufficient.

> > > 	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.

Okay, that's cool - I was not understanding the issues too clearly, so I
thought I'd better check :-)

Cheers,

David.