=====================================================
A place to store RISC-V board support code for Genode
=====================================================
While the generic RISC-V implementation is located within Genode's main
repository (https://github.com/genodelabs/genode.git), this is the place where
board specific code outside of Genode's mainline is located.
To use this repository, you first need to obtain a clone of Genode:
! git clone https://github.com/genodelabs/genode.git genode
Now clone the _genode-riscv.git_ repository to _genode/repos/riscv_:
! git clone https://github.com/ssumpf/genode-riscv.git genode/repos/riscv
For building a board specification of the _riscv_ repository, the build-directory
configuration _etc/build.conf_ must be extended with the following line:
! REPOSITORIES += $(GENODE_DIR)/repos/riscv
To build a specific board, the _BOARD_ variable must be set either in
_etc/build.conf_ or at the command line, e.g.:
! make BOARD=migv core bootstrap
Currently available boards: 'migv'