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