http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55175
--- Comment #14 from Uros Bizjak <ubizjak at gmail dot com> 2012-11-05 14:24:43 UTC --- (In reply to comment #13) > Then the problem is either in newlib or generic libgcc configury. Please note that t-fdpbit is not enabled by default for x86 anymore. I don't know if this was intentional omission during libgcc conversion, but nobody missed it until today. The second part of your patch enables TFmode soft-float, probably not needed for RTEMS. I think that you need either t-fdpbit or t-softfp-sfdf added to i[34567]86-*-rtems*)
