Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • BurritOS BurritOS
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Model experiments
  • Activity
  • Graph
  • Commits
Collapse sidebar
  • SimpleOS
  • BurritOSBurritOS
BurritOS

BurritOS

Project ID: 9449
Star 4
  • 566 Commits
  • 8 Branches
  • 0 Tags
  • 26.4 MiB Project Storage

Port of NachOS to Rust and RISC-V

Find file
Download source code
zip tar.gz tar.bz2 tar
  • Visual Studio Code (SSH)
    Visual Studio Code (HTTPS)
    IntelliJ IDEA (SSH)
    IntelliJ IDEA (HTTPS)
  • Copy SSH clone URLgit@gitlab.istic.univ-rennes1.fr:simpleos/burritos.git
  • Copy HTTPS clone URLhttps://gitlab.istic.univ-rennes1.fr/simpleos/burritos.git
  • README