https://github.com/genodelabs/genode-riscv

RISC-V board support
https://github.com/genodelabs/genode-riscv

cplusplus cpp genode microkernel osdev riscv

Last synced: 2 days 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 (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-11-04T10:16:00.000Z (4 days ago)
• Last Synced: 2024-11-04T11:24:18.891Z (4 days ago)
• Topics: cplusplus, cpp, genode, microkernel, osdev, riscv
• Language: C++
• Homepage:
• Size: 94.7 KB
• Stars: 5
• Watchers: 9
• 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'