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

I have tried rebuilding riscv newlib toolchain, but it doesn't work... I think maybe it is the 12.2 version gcc bug mentioned by Dr Peter Chubb. I will try to rebuild the toolchain with 14.0 gcc. Thank you for providing advice!