mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 06:57:51 +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 |
||
---|---|---|
.. | ||
spec | ||
base-hw-common.mk | ||
base-hw.mk | ||
bootstrap-hw.inc | ||
core-hw.inc | ||
timeout-hw.mk |