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!
___
Devel mailing list --
> "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
A patch has just been merged that may fix this.
The problem was https://github.com/seL4/seL4/issues/749 --- not all
the places that need the flag change were found.
Peter C
--
Dr Peter Chubbhttps://trustworthy.systems/
Trustworthy Systems GroupCSE, UNSW
Co
Hello,
I had the same issue and solved it by installing gcc-riscv64-unknown-elf
instead of gcc-riscv64-linux-gnu.
Hope that helps,
Indan
On 2023-07-13 09:48, suebox...@gmail.com wrote:
Hi, I met a problem when building seL4test project with riscv
toolchain, with the float operations compiled
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
