use hard float in Genode

Stefan Kalkowski stefan.kalkowski at
Thu Nov 1 13:02:48 CET 2018


On Wed, Oct 31, 2018 at 03:36:38PM +0800, lzSun wrote:
> >yes, you're right. If you want to compile with hard-float and link against the C++ runtime library >delivered by Genode's toolchain, it will fail. You need to compile the Genode toolchain yourself, >if this is a hard requirement for you. Have a look at the tool/tool_chain script in Genode's source >code repository therefore.
> Hello ,Stefan. Thanks for your reply! Now I am trying to compile the Genode toolchain myself. I used the scripts in tools/tool_chain but still encountered the same problem. I think I should add some flags in tools/tool_chain, but I have no idea what to add and where to add the flags. I have tried add
> "GCC_MAKE_OPT += -mfloat-abi=hard -mfpu=vfp" but it make failed. So could you give me some hint on this? Thanks a lot.

not the flags are relevant here, but the configure options for
building binutils and gcc. Although, I did not test the outcome, I
think the following patch shall produce a hard-float capable compiler:

diff --git a/tool/tool_chain b/tool/tool_chain
index 88dd767..3653c6c 100755
--- a/tool/tool_chain
+++ b/tool/tool_chain
@@ -177,7 +177,7 @@ LOCAL_INSTALL_LOCATION = $(shell
 LOCAL_LIB_INSTALL_LOCATION = $(shell pwd)/build/lib-install
 TARGET_NAME_x86        = x86_64-pc-elf
-TARGET_NAME_arm        = arm-none-eabi
+TARGET_NAME_arm        = arm-none-eabihf
 TARGET_NAME_riscv      = riscv64-unknown-elf
 GCC_CONFIG_riscv       = --with-arch=rv64imac

Best regards

> ------------------
> Best wishes

> _______________________________________________
> Genode users mailing list
> users at

Stefan Kalkowski
Genode labs |

More information about the users mailing list