use hard float in Genode

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