https://github.com/genodelabs/genode-riscv
RISC-V board support
https://github.com/genodelabs/genode-riscv
cplusplus cpp genode microkernel osdev riscv
Last synced: about 2 months ago
JSON representation
RISC-V board support
- Host: GitHub
- URL: https://github.com/genodelabs/genode-riscv
- Owner: genodelabs
- License: other
- Created: 2021-02-10T10:26:20.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2025-12-12T10:49:17.000Z (5 months ago)
- Last Synced: 2025-12-13T23:37:49.305Z (4 months ago)
- Topics: cplusplus, cpp, genode, microkernel, osdev, riscv
- Language: C++
- Homepage:
- Size: 135 KB
- Stars: 7
- Watchers: 8
- Forks: 5
- Open Issues: 0
-
Metadata Files:
- Readme: README
- License: LICENSE
Awesome Lists containing this project
README
=====================================================
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'