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

...

...

...

...

"sueboxian" == sueboxian writes:

sueboxian> Hi, I met a problem when building seL4test project with sueboxian> riscv toolchain, with the float operations compiled as sueboxian> soft-float. Here are my configuration commands:  python3 sueboxian> ~/bin/repo init -u There seems to be a bug in gcc 12 that causes this too .... if you rebuild your toolchain to gcc 14 it'll fix it. The bug is that the -march= line confuses GCC's attempts to work out where the gcc specific runtime files are so it uses the generic ones (with hardware double-floats). To check, do riscv64-unknown-linux-gnu-g++ -mabi=lp64 -march=rv64imac_zifencei_zicsr --print-file-name=crtbegin.o On gcc 12 I see: /opt/riscv/lib/gcc/riscv64-unknown-linux-gnu/12.2.0/crtbegin.o which is incorrect; On gcc 14 I see: /opt/riscv/lib/gcc/riscv64-unknown-linux-gnu/14.0.0/lib64/lp64/crtbegin.o which is correct. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.