package arrakis
A RISC-V simulator
Install
Dune Dependency
Authors
Maintainers
Sources
1.1.0.tar.gz
sha256=13e8ef39e556909185972eb12a377f45c2e42ecb94efc51d4ed5e64214f83d8a
md5=d3cdd3b00ccc48a11449c4888d61fa0f
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