arrakisversion

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
AuthorsValeran MaytiƩ and Gurvan Debaussart
LicenseCeCILL-2.1
Published
Homepagehttps://codeberg.org/Arrakis/arrakis
Issue Trackerhttps://codeberg.org/Arrakis/arrakis/issues
Maintainersmvalo@proton.me and gurvan@debauss.art
Availablearch != "arm32" & arch != "x86_32" & os-family != "windows"
Dependencies
Source [http] https://codeberg.org/Arrakis/arrakis/archive/1.1.1.tar.gz
sha256=24a951696f6a54c818acaf76ca2f609dd508aaee824b3ba17624e6dec165091c
md5=05ff3ea80ad7062f98adcf2e22e66559
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/arrakis/arrakis.1.1.1/opam
No package is dependent