Arrakis is a RISC-V simulator written in OCaml, primarly designed for education.
- Fully supported RV32IM instruction set, with pseudo instructions.
- Different type of environmental calls: either UNIX syscalls (default) or Venus environmental calls emulation.
- GNU
asassembler directives and syntax. - A debugging system using breakpoints.
- Complete documentation, covering not only Arrakis usage but also serving as a general guide on how to write RISC-V assembly code.
Since Arrakis is written in OCaml, it can be installed using opam, OCaml Package Manager:
$ opam install arrakis
Documentation about Arrakis usage is available here.
The main branch is currently developed using OCaml 5.0 and Dune 3.10.
For contributions, please take a look at CONTRIBUTING.md.
Arrakis is distributed under the CeCILL 2.1 license.