arrakisversion Documentation on ocaml.org
A RISC-V simulator
A RISC-V simulator with an integrated debugger. Support full RV32IM instruction set, along with pseudo instruction and several environmental calls.
| Tags | RISC-V simulator emulation RV32IM education debugger debug |
|---|---|
| Authors | Valeran Maytié and Gurvan Debaussart |
| License | CeCILL-2.1 |
| Published | |
| Homepage | https://codeberg.org/Arrakis/arrakis |
| Issue Tracker | https://codeberg.org/Arrakis/arrakis/issues |
| Maintainers | mvalo@proton.me and gurvan@debauss.art |
| Available | arch != "arm32" & arch != "x86_32" |
| Dependencies | |
| Source [http] | https://codeberg.org/Arrakis/arrakis/archive/1.1.0.tar.gz sha256=13e8ef39e556909185972eb12a377f45c2e42ecb94efc51d4ed5e64214f83d8a md5=d3cdd3b00ccc48a11449c4888d61fa0f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/arrakis/arrakis.1.1.0/opam |
No package is dependent
