Hello,

It has always struck me as weird that GDB would report:

	(gdb) info float
	No floating point info available for this processor.

when debugging platforms that I knew had floating-point registers (PPC, 
...).

This patch modifies the ``info float'' command so that, if there is no 
architecture specific code, it at least prints the floating-point registers.

(If GDB ever gets register attributes, this function can be changed to 
print registers with the floating-point attribute (rather than 
floating-point type).)

thoughts?

I'll leave this for a week I guess,

enojoy,
Andrew