arrakis est un simulateur RISC-V écrit en OCaml destiné a être utilisé comme outil pour apprendre l’assembleur.

Le logiciel est accompagné d’un wiki, qui détaille son utilisation mais servant également de tutoriel général a l’écriture d’assembleur en RISC-V.

Pour apprendre l’assembleur, je recommande le cours de Jean-Christophe Filliatre, qui nous a grandement aidé a tester et déboguer arrakis.