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
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
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) < Siwei.Zhuang@data61.csiro.au> 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
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
On Sun, 2019-11-10 at 15:50 -0800, Jacob Yu wrote: 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
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) < Siwei.Zhuang@data61.csiro.au> 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
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
On Sun, 2019-11-10 at 15:50 -0800, Jacob Yu wrote: 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
Hi I am able to install & build "riscv-pk" and "riscv-isa-sim", and then try out Spike. Many thank!
./configure --prefix=/opt/riscv --enable-multilib sudo make linux Otherwise, I also tried to enable "multilib" when building "riscv-gnu-toolchain" but with no luck. It complained:
... configure: error: in `/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/riscv64-unknown-linux-gnu/lib32/ilp32/libgomp': configure: error: C compiler cannot create executables
And make failed with:
Makefile:13703: recipe for target 'configure-target-libgomp' failed make[2]: *** [configure-target-libgomp] Error 1
Again, any suggestions? Regards, Jacob ============================================================ ... checking for riscv64-unknown-linux-gnu-gcc... /home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/./gcc/xgcc -B/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/./gcc/ -B/opt/riscv/riscv64-unknown-linux-gnu/bin/ -B/opt/riscv/riscv64-unknown-linux-gnu/lib/ -isystem /opt/riscv/riscv64-unknown-linux-gnu/include -isystem /opt/riscv/riscv64-unknown-linux-gnu/sys-include -march=rv32imac -mabi=ilp32 *checking whether the C compiler works... noconfigure: error: in `/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/riscv64-unknown-linux-gnu/lib32/ilp32/libgomp':configure: error: C compiler cannot create executablesSee `config.log' for more details* *Makefile:13703: recipe for target 'configure-target-libgomp' failedmake[2]: *** [configure-target-libgomp] Error 1* make[2]: Leaving directory '/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2' Makefile:951: recipe for target 'all' failed make[1]: *** [all] Error 2 make[1]: Leaving directory '/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2' Makefile:304: recipe for target 'stamps/build-gcc-linux-stage2' failed make: *** [stamps/build-gcc-linux-stage2] Error 2 On Mon, Nov 11, 2019 at 5:52 PM Zhuang, Siwei (Data61, Kensington NSW) < Siwei.Zhuang@data61.csiro.au> wrote:
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
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) < Siwei.Zhuang@data61.csiro.au> 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
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
On Sun, 2019-11-10 at 15:50 -0800, Jacob Yu wrote: directory.
After that, however, "ninja" command complained about "undefined reference to `__nedf2'". I understand there is no FPU support in "Spike"
On Mon, 2019-11-11 at 17:20 -0800, Jacob Yu wrote: 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
Hi Jacob, Never had this problem before, so just a blind guess. As you can build "riscv-pk", you must be using the cross compiler from your previous build(with multilib disabled). Try removing the previous installation in "/opt/riscv", and also do "make clean" to remove all the previous build directories. I noticed that the log you attached says "Checking whether the C compiler works ... no", have a look at "config.log" to see if there's any useful info. Also make sure you have enough disk space, my build takes 21GB. Regards, Siwei On Tue, 2019-11-12 at 11:31 -0800, Jacob Yu wrote:
Hi
I am able to install & build "riscv-pk" and "riscv-isa-sim", and then try out Spike. Many thank!
./configure --prefix=/opt/riscv --enable-multilib sudo make linux Otherwise, I also tried to enable "multilib" when building "riscv-gnu-toolchain" but with no luck. It complained:
... configure: error: in `/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux- stage2/riscv64-unknown-linux-gnu/lib32/ilp32/libgomp': configure: error: C compiler cannot create executables
And make failed with:
Makefile:13703: recipe for target 'configure-target-libgomp' failed make[2]: *** [configure-target-libgomp] Error 1
Again, any suggestions?
Regards,
Jacob ============================================================ ... checking for riscv64-unknown-linux-gnu-gcc... /home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux- stage2/./gcc/xgcc -B/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2/./gcc/ -B/opt/riscv/riscv64-unknown-linux-gnu/bin/ -B/opt/riscv/riscv64-unknown-linux-gnu/lib/ -isystem /opt/riscv/riscv64-unknown-linux-gnu/include -isystem /opt/riscv/riscv64-unknown-linux-gnu/sys-include -march=rv32imac -mabi=ilp32
*checking whether the C compiler works... noconfigure: error: in `/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux- stage2/riscv64-unknown-linux-gnu/lib32/ilp32/libgomp':configure: error: C compiler cannot create executablesSee `config.log' for more details*
*Makefile:13703: recipe for target 'configure-target-libgomp' failedmake[2]: *** [configure-target-libgomp] Error 1* make[2]: Leaving directory '/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2' Makefile:951: recipe for target 'all' failed make[1]: *** [all] Error 2 make[1]: Leaving directory '/home/webuser/Dev/risc-v/riscv-gnu-toolchain/build-gcc-linux-stage2' Makefile:304: recipe for target 'stamps/build-gcc-linux-stage2' failed make: *** [stamps/build-gcc-linux-stage2] Error 2
On Mon, Nov 11, 2019 at 5:52 PM Zhuang, Siwei (Data61, Kensington NSW) < Siwei.Zhuang@data61.csiro.au> wrote:
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
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) < Siwei.Zhuang@data61.csiro.au> 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
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
On Sun, 2019-11-10 at 15:50 -0800, Jacob Yu wrote: directory.
After that, however, "ninja" command complained about "undefined reference to `__nedf2'". I understand there is no FPU support in "Spike"
On Mon, 2019-11-11 at 17:20 -0800, Jacob Yu wrote: 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
participants (2)
-
Jacob Yu -
Zhuang, Siwei (Data61, Kensington NSW)