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

I found that my gcc version is 12.2, with the ternimal shows: /home/gale/riscv/lib/gcc/riscv64-unknown-elf/12.2.0/crtbegin.o I will try to rebuild the 14.0 version. Thank you for providing advise!