Port of base-hw to RISC-V / lowRISC ?

Sebastian Sumpf Sebastian.Sumpf at ...1...
Fri May 22 22:12:35 CEST 2015

Hi Rolf,

On 05/22/2015 02:55 PM, Rolf Sommerhalder wrote:
> Dear list,
> GSoC has accepted a project to port seL4 to RISC-V (64 bit)
> architecture, which is used in the lowRISC System-on-a-Chip (SoC) Open
> Source project.
> Further, lowRISC supports another project to port rump kernels to
> minimal RISC-V cores which lowRISC plans to use as I/O co-processors,
> for example as TCP/IP offload engines [1].
> There are tool chains and ports of Linux kernels to RISC-V / lowRISC
> to run them in simulators and emulators (qemu), on FPGA (Xilinx Zynq),
> and ASIC [2, 3].
> Although my HW/SW co-design skills are a bit rusty, I am tempted to
> reverse that and try such a port. In order to get a better idea about
> complexity and effort required, I currently study the sources of
> base-hw for ARMv7, and its recent port to x86_64 in the staging
> branch.
> Is anyone aware of such a porting effort, or has anyone else an
> interest to run Genode base-hw on RISC-V64, and might want to chime in
> eventually?

I just started on this one, actually right now. The first step would be
to build the Genode tool chain for RISC-V. So, if that is ready I can
let you know. The next steps would roughly be:

1. Update Genode's cxx library
2. Get base-hw compiling
3. Add UART support and implement the platform dependent kernel part
4. Extent the dynamic linker
5. (look into libc)

So, maybe there is something for you there.

We aware of the efforts you described above.



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

More information about the users mailing list