use hard float in Genode

[lzSun]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20181030/cbfde929/attachment.html>