use hard float in Genode

lzSun 1137480042 at
Tue Oct 30 07:38:57 CET 2018

I wonder whether I can use hard float in Genode. I am now using Genode 18.05 and was working on tz_vmm demo. I add "-CC_OPT += -mfloat-abi=hard -mfpu=vfp" in "/repos/base/mk/" file. It seems Genode tool chain can recognize this arguments,but print error message like this:
"/usr/local/genode-gcc/bin/genode-arm-ld: error: supc++.o.tmp uses VFP register arguments, /usr/local/genode-gcc/bin/../lib/gcc/arm-none-eabi/6.3.0/../../../../arm-none-eabi/lib/libsupc++.a(class_type_info.o) does not"
Form the error message, I guess it can't use hard float in genode because some static library in genode tool chain are build by soft float.Am I right? Any help will be OK, thanks. 

Best wishes
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list