How can one tell if a device supports an FPU? Specifically the MSM7200A chip.

Reading Porting to a new device I came accross the sentence "...it needs to have an FPU".

Actually I tried to find out if a Samsung Galaxy GT-i7500 would still be a possible target. As this is an old device from 2009 I wondered if already the first requirement is fulfilled...

I came accross issues #1203 (closed) and #1592 (closed) for other devices that mention also missing FPUs.

Due to the wikipedia article the i7500 has a possibly similar and even older MSM7200A chip. Also I found #20 (closed) about another porting attempt for the same device.

This PDF contains following:

The MSM7200A in Hero utilizes the CPU core ARM1136EJ-S which does not have a Vector Floating-Point coprocessor (VFP), and thus have no hardware for calculating floating points.

An cyanogenmod kernel running at the i7500 shows this in dmesg:

<4>[ 0.000000] CPU: ARMv6-compatible processor [4117b362] revision 2 (ARMv6TEJ), cr=00c5387f

And /proc/cpuinfo contains this:

Processor       : ARMv6-compatible processor rev 2 (v6l)
BogoMIPS        : 527.56
Features        : swp half thumb fastmult edsp java 
CPU implementer : 0x41
CPU architecture: 6TEJ
CPU variant     : 0x1
CPU part        : 0xb36
CPU revision    : 2

Hardware        : galaxy
Revision        : 0000
Serial          : 0000000000000000

So can I go ahead and add the i7500 to the "Not booting" section of the Devices page? If yes, the Wikipedia article mentions other devices using that chip - should I add them too?

Is there any way to query FPU support from a running android (that can be added to the porting guide)?