package arrakis
A RISC-V simulator
Install
Dune Dependency
Authors
Maintainers
Sources
1.1.1.tar.gz
sha256=24a951696f6a54c818acaf76ca2f609dd508aaee824b3ba17624e6dec165091c
md5=05ff3ea80ad7062f98adcf2e22e66559
Description
A RISC-V simulator with an integrated debugger. Support full RV32IM instruction set, along with pseudo instruction and several environmental calls.
README
Arrakis
Arrakis is a RISC-V simulator written in OCaml, primarly designed for education.
✨ Features
- 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.
📦 Installation
Since Arrakis is written in OCaml, it can be installed using opam, OCaml Package Manager:
$ opam install arrakis
📚 Documentation
Documentation about Arrakis usage is available here.
🧪 Development
The main branch is currently developed using OCaml 5.0 and Dune 3.10.
For contributions, please take a look at CONTRIBUTING.md.
⚖️ License
Arrakis is distributed under the CeCILL 2.1 license.
On This Page