BurritOS Developpement Operating System in Rust for RISC-V architecture named BurritOS (BurritOS Using Rust Really Improve The Operating System) Project Group M1 IL/CR 2022-2023 Managed by @ipuault@gitlab.istic.univ-rennes1.fr
Go to file
2023-03-09 14:03:35 +01:00
src added comments to macros 2023-03-09 14:03:35 +01:00
test_programs Added debug attributes to structs pertaining to thread in order to allow for applying assertions upon Thread 2023-03-09 13:24:04 +01:00
.gitignore Update .gitignore 2022-10-05 16:40:04 +02:00
Cargo.lock New system structure 2023-03-08 15:16:10 +01:00
Cargo.toml New system structure 2023-03-08 15:16:10 +01:00
README.md Update README.md 2022-10-05 16:39:38 +02:00
test_file_section.txt print mem checker 2023-02-08 12:45:39 +01:00

BurritOS

BurritOS (BurritOS Using Rust Really Improves The Operating System) is an educational operating system written in Rust and running on a RISC-V emulator. It aims to be used as an educational platform for learning about operating systems.

Based on NachOS (Copyright (c) 1992-1993 The Regents of the University of California. All rights reserved.)

Authors

Amaury Brodu, Abdelmajid El Bahri, François Autin, Quentin Legot, Baptiste Meauze, Gabriel Moysan, Rémi Rativel, Samy Solhi