A RISC-V simulator with an integrated debugger. Support full RV32IM instruction set, along with pseudo instruction and several environmental calls.
Arrakis is a RISC-V simulator written in OCaml, primarly designed for education.
Fully supported RV32IM instruction set, with most pseudo instructions.
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.
(WIP) A vim plugin to integrate Arrakis with your favorite text editor.
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
main branch is currently developped using OCaml 5.0 and Dune 3.10.
For contributions, please take a look at