I do believe you can use SiFive's toolchain: https://static.dev.sifive.com/dev-tools/riscv64-unknown-elf-gcc-8.3.0-2019.08.0-x86_64-linux-ubuntu14.tar.gz

Then you don't have to compile it.

There is also Data61's Docker https://github.com/SEL4PROJ/seL4-CAmkES-L4v-dockerfiles

If you look at the make file there are some targets for including the RISC-V toolchain.

Jesse

On 2019-11-11 1:58 a.m., Zhuang, Siwei (Data61, Kensington NSW) wrote:

> 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

> _______________________________________________

> Devel mailing list

> Devel@sel4.systems

> https://sel4.systems/lists/listinfo/devel