Hi Jacob, You need to enable multilib when building "riscv-gnu-toolchain". ./configure --prefix=/path-to-install-toolchain --enable-multilib then make or make linux Running seL4 no longer requires RISC-V tools. In case you want to use Spike, I'd suggest building the riscv-isa-sim separately to get the latest code. Regards, Siwei On Sun, 2019-11-10 at 15:50 -0800, Jacob Yu wrote:
Hi
I am trying to build "seL4 tests" for "Spike" platform (the RISC-V simulator from UC Berkeley) on Ubuntu 18.04.3 LTS, a 64-bit system.
First of all, I was able to build RISC-V tools with "build.sh" after manually installing "riscv-gnu-toolchain" from GitHub as well as additional python modules (future, ply, protobuf). I then kicked of "../init-build.sh -DPLATFORM=spike -DRISCV64=TRUE -DSIMULATION=1" from local build directory.
After that, however, "ninja" command complained about "undefined reference to `__nedf2'". I understand there is no FPU support in "Spike" platform so a need for "soft-float" module. Where should I specify "-lsoft-fp"?
Any suggestions?
Thanks,
Jacob _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel