Hi guys,
I am so glad to know that genode has supported RISCV from v16.02. I have already read the article(http://genode.org/documentation/articles/riscv) which introduce how genode port the RISCV. However, I am still a little confused about how to build a runnable genode image and how to run it on riscv platform like spike. Could you give me any advices to do it? Thanks a lot!
Dong Du
Hello Dong Du,
On 12.03.2018 12:45, Dd Nirvana wrote:
Hi guys,         I am so glad to know that genode has supported RISCV from v16.02. I have already read the article(http://genode.org/documentation/articles/riscv) which introduce how genode port the RISCV.     However, I am still a little confused about how to build a runnable genode image and how to run it on riscv platform like spike. Could you give me any advices to do it?
Genode's support for RISC-V is currently very limited. For example, there is no libc or any peripheral devices. Currently, RISC-V can be tested on Genode using the spike emulator and our custom kernel, which implements support for the RISCV 1.9 privileged ISA. So, in order to test RISC-V make sure to have spike installed. You can find the version we are using here:
https://github.com/ssumpf/riscv-isa-sim https://github.com/ssumpf/riscv-fesvr
Please check out the 17.05 branches of both repositories. The fesvr (front-end server) is required by the instruction emulator and has to be build first. Please check the README.md files for build instructions.
With spike installed you want to create a Genode directory next:
<genode-src>/tool/create_builddir riscv_spike cd <genode-src>/build/risc_spike
Next you may execute the log run script:
make KERNEL=hw run/log
(make sure to have the Genode tool chain installed - http://genode.org/download/tool-chain)
This will build the log scenario and execute it within spike. The actual boot image can be found under the <genode-src>/build/riscv-spike/bbl/bbl (Berkeley Boot Loader). BBL implements the machine mode and also piggy backs the Genode image.
Regards,
Sebastian
-- Sebastian Sumpf Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Hi Sebastian, Thanks for you response! It's very helpful!
Dong
Dong Du, Institute of Parallel and Distributed Systems (IPADS), School of Software, Shanghai Jiao Tong University
On Wed, Mar 14, 2018 at 4:43 PM, Sebastian Sumpf < Sebastian.Sumpf@...1...> wrote:
Hello Dong Du,
On 12.03.2018 12:45, Dd Nirvana wrote:
Hi guys,
I am so glad to know that genode has supported RISCV from v16.02.I have already read the article(http://genode.org/documentation/articles/riscv) which introduce how genode port the RISCV. However, I am still a little confused about how to build a runnable genode image and how to run it on riscv platform like spike. Could you give me any advices to do it?
Genode's support for RISC-V is currently very limited. For example, there is no libc or any peripheral devices. Currently, RISC-V can be tested on Genode using the spike emulator and our custom kernel, which implements support for the RISCV 1.9 privileged ISA. So, in order to test RISC-V make sure to have spike installed. You can find the version we are using here:
https://github.com/ssumpf/riscv-isa-sim https://github.com/ssumpf/riscv-fesvr
Please check out the 17.05 branches of both repositories. The fesvr (front-end server) is required by the instruction emulator and has to be build first. Please check the README.md files for build instructions.
With spike installed you want to create a Genode directory next:
<genode-src>/tool/create_builddir riscv_spike cd <genode-src>/build/risc_spike
Next you may execute the log run script:
make KERNEL=hw run/log
(make sure to have the Genode tool chain installed - http://genode.org/download/tool-chain)
This will build the log scenario and execute it within spike. The actual boot image can be found under the <genode-src>/build/riscv-spike/bbl/bbl (Berkeley Boot Loader). BBL implements the machine mode and also piggy backs the Genode image.
Regards,
Sebastian
-- Sebastian Sumpf Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Dd Nirvana -
Sebastian Sumpf