Arrakis/arrakis: A RISC-V simulator with an integrated debugger. Support full RV32IM instruction set, along with pseudo instruction and several environmental calls. – arrakis

Arrakis is a RISC-V simulator written
in OCaml, primarly designed for education.

Features

Installation

Since Arrakis is written in OCaml, it can be installed using
opam, OCaml Package Manager.

Simply run:

$ opam install arrakis

Documentation

Documentation about Arrakis usage is available
here

Development

The main branch is currently developped using OCaml 5.0 and Dune 3.10.

For contributions, please take a look at CONTRIBUTING.md.

Resources

• riscv-card, a comprehensive
  reference sheet for RISC-V.
• Venus, a RISC-V simulator written in
  Kotlin, which inspired Arrakis.
• CeCILL, Arrakis License.