No, building riscv-isa-sim alone is sufficient if you only need Spike. seL4 also generates a script called "simulate" in the your build directory. The script invokes qemu for simulation.
Regards, Siwei On Mon, 2019-11-11 at 17:20 -0800, Jacob Yu wrote: > Thanks, Siwei for the info. I'll give it a try. > > > 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. > > Does this require RISC-V tools to build? > > Best, > > > Jacob > > On Sun, Nov 10, 2019 at 10:58 PM Zhuang, Siwei (Data61, Kensington NSW) < > [email protected]> 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 > > > [email protected] > > > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
