[seL4] Soft-float problem happens when building seL4test using riscv64-unknown-linux-gnu-gcc toolchain

Hi, I met a problem when building seL4test project with riscv toolchain, with the float operations compiled as soft-float. Here are my configuration commands:

 python3 ~/bin/repo init -u https://github.com/seL4/sel4test-manifest  python3 ~/bin/repo sync  mkdir build-riscv  cd build-riscv  ../init-build.sh -DPLATFORM=qemu-riscv-virt -DCROSS_COMPILER_PREFIX=riscv64-unknown-linux-gnu- -DSIMULATION=TRUE  ninja

The terminal reported "can't link double-float modules with soft-float modules" errors when compiling fpu.c, and thus stopped compilation.

I have tried rebuilding the glibc version riscv toolchain, with multilib enabled. But it doesn't work.

I also checked the terminal, it says that I'm compiling with march=riscv64imac_zicsr_zifencei -mabi=lp64, which as the best of my knowledge, means compiling the float as soft-float.

I want to know whether I lossed something. I would appreciate for any help.

Thanks in advance.