Hello,
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/global.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
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users

Reply via email to