6eeaa576470d7398d86063648a5ae2a0ae9b3555
Fix double free See merge request simpleos/burritos!15
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
Description
Languages
Rust
83.8%
C
12.7%
Assembly
2.3%
Makefile
1.2%
