Can't link soft-float modules with double-float modules

As far as I know, microTVM has supported qemu-riscv, you can find some information in tvm/apps/microtvm, or search for some discussions in this forum, for example here.