Arrakis

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

Features

Fully supported RV32IM instruction set, with most pseudo instructions.
Different type of environmental calls: either UNIX syscalls (default) or Venus environmental calls emulation.
Partial GNU as assembler directives.
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.

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.