sslab-gatech / cs3210-rustos-publicLinks
Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
☆123Updated 5 years ago
Alternatives and similar repositories for cs3210-rustos-public
Users that are interested in cs3210-rustos-public are comparing it to the libraries listed below
Sorting:
- RedLeaf Operating System☆134Updated 3 years ago
- ☆133Updated 2 years ago
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated last year
- Experimental kernel with built-in replication.☆160Updated 2 months ago
- RISC-V hypervisor written in Rust☆363Updated 5 years ago
- ☆122Updated 3 months ago
- Rcore Virtual Machine☆116Updated last year
- Let's write an x86 hypervisor in Rust from scratch!☆160Updated 2 years ago
- Deprecated! Use qemu-rs instead :)☆72Updated last year
- understanding the safety of Rust☆98Updated 5 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 4 years ago
- 🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.☆318Updated 4 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 5 months ago
- A hypervisor written in Rust.☆125Updated 3 years ago
- A Type-1.5 hypervisor written in Rust.☆67Updated last year
- ☆76Updated 3 years ago
- 🦀️ Operating System in 100% Pure Rust☆101Updated 4 years ago
- Virtual machine's guest memory crate☆331Updated this week
- ☆34Updated 5 years ago
- Creating a minimal ELF file☆119Updated 4 months ago
- CS140e without Rust is not CS140e. Sergio Benitez plz come back.☆75Updated 5 years ago
- An operation-log based approach for data replication.☆65Updated 2 years ago
- Verification of BPF JIT compilers☆56Updated 2 years ago
- Rust RISC-V Virtual Machine☆108Updated last month
- Lab assignments for 6.826☆16Updated 4 years ago
- A buddy system allocator in pure Rust.☆118Updated last year
- A VMM implementation based of rust-vmm components☆153Updated last year
- A verified library of synchronization primitives and concurrent data structures☆38Updated 3 weeks ago
- Some notes or translations about operating system or programming language.☆99Updated 10 months ago
- Notes on the linux kernel VM subsystem.☆378Updated 2 years ago