The libraries lib/*.a are compiled with floating point Soft ABI selected. See https://developer.arm.com/documentation/107656/0101/Registers/Floating-point-registers/Using-Floating-point-extension/ABI-options and config FP_SOFTABI in Zephyr.

We would very much like to use the Hard ABI on our chip (config FP_HARDABI) and it is not possible to link these Soft ABI binaries with other Hard ABI code. Would it be possible to provide Hard ABI binaries?