package arrakis
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=62b276b4374f64609234b2406d00002e8c46d7bebf6bada2a703c8e8ac3bdea6
md5=1d25123c6e7cccdbd0d0b92589071023
Description
A RISC-V simulator with an integrated debugger. Support full RV32IM instruction set, along with pseudo instruction and several environmental calls.
README
README.md
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
asassembler 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.