use hard float in Genode

[Stefan Kalkowski]

Hi,

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
pwd)/build/install
 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
Stefan

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

> _______________________________________________
> Genode users mailing list
> users at lists.genode.org
> https://lists.genode.org/listinfo/users


-- 
Stefan Kalkowski
Genode labs

https://github.com.skalk | https://genode.org