mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 22:23:16 +00:00
5e93a5806b
The soft ABI implies purely software floating point implementation. This is not the case for Genode however. For example core's exception_vector.S uses vmsr instruction. This builds fine with with GCC based toolchain, but clang with integrated-as complains: src/core/spec/arm/exception_vector.S:122:2: error: instruction requires: VFP2 vmsr fpexc, r1 ^ Fix this by passing softfp to mfloat-abi command on ARMv7. This allows usage of FP HW, but implies soft-floating point ABI. Issue #4421 |
||
|---|---|---|
| .. | ||
| arm | ||
| arm_64 | ||
| arm_v7 | ||
| arm_v8 | ||
| cortex_a8 | ||
| cortex_a9 | ||
| cortex_a15 | ||
| riscv | ||
| x86_64 | ||