> However, although no one currently sells FPA hardware, it is widely > supported as the only floating point model emulated by the Linux > kernel, and people have to use it when compiling stuff to run on OABI > systems, which include boards currently on the market based on ARMv4 > (no t) such as the Balloon Board 2.0 as well as boards with more > recent CPUs where the manufacturer only supplies a LInux port for a > kernel version that predates EABI support such as the Armadillo range.
Armv4 (not t) targets are supported by EABI targets via the --fix-v4bx option. You have to decide which you're targeting at static link time (v4t interworking for EABI compliance or armv4), but once you make that decision it should support everything the OABI port did. In theory you can use --fix-v4bx-interworking to generate armv4 binaries that are fully EABI compliant, however this comes at significant cost, and you eed to tweak a couple of the libgcc assembly routines. Paul
