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

Hi Dr Peter Chubb: Although I can't find the 14.0 gcc in the riscv toolchain github, my seL4test can work with 11.1 gcc now. Thank you very much!