mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 01:58:55 +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 |
||
|---|---|---|
| .. | ||
| bootstrap-hw-imx6q_sabrelite.mk | ||
| bootstrap-hw-imx7d_sabre.mk | ||
| bootstrap-hw-imx53_qsb_tz.mk | ||
| bootstrap-hw-imx53_qsb.inc | ||
| bootstrap-hw-imx53_qsb.mk | ||
| bootstrap-hw-nit6_solox.mk | ||
| bootstrap-hw-pbxa9.mk | ||
| bootstrap-hw-usb_armory.mk | ||
| bootstrap-hw-virt_qemu.mk | ||
| bootstrap-hw-wand_quad.mk | ||
| core-hw-imx6q_sabrelite.mk | ||
| core-hw-imx7d_sabre.mk | ||
| core-hw-imx53_qsb_tz.mk | ||
| core-hw-imx53_qsb.inc | ||
| core-hw-imx53_qsb.mk | ||
| core-hw-nit6_solox.mk | ||
| core-hw-pbxa9.mk | ||
| core-hw-usb_armory.mk | ||
| core-hw-virt_qemu.mk | ||
| core-hw-wand_quad.mk | ||
| core-hw.inc | ||