What is funny is that I did not find FPV4_S16 in the link above, only*VFPv4-D32,**VFPv4-D16 and ***VFPv4U** It is probably what Cortex-M4 needs. However, it does not seem to becompletely correct. I'll add fpv4-sp-d16 (it means: single precisiononly with 32 registers, b...