sslab-gatech / cs3210-rustos-publicLinks
Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
☆119Updated 4 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☆127Updated 3 years ago
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated 10 months ago
- Deprecated! Use qemu-rs instead :)☆73Updated last year
- RISC-V hypervisor written in Rust☆360Updated 5 years ago
- ☆123Updated 2 weeks ago
- A hypervisor written in Rust.☆120Updated 3 years ago
- understanding the safety of Rust☆98Updated 5 years ago
- Experimental kernel with built-in replication.☆158Updated last year
- Succinct notes on the linux mm subsystem.☆119Updated 2 years ago
- ☆12Updated 3 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆157Updated last year
- Rcore Virtual Machine☆115Updated last year
- A Type-1.5 hypervisor written in Rust.☆65Updated last year
- Lab assignments for 6.826☆15Updated 4 years ago
- Chickadee OS for Harvard CS 161☆95Updated 5 months ago
- a paper template☆55Updated 2 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆207Updated 4 years ago
- An operation-log based approach for data replication.☆62Updated 2 years ago
- CS140e without Rust is not CS140e. Sergio Benitez plz come back.☆75Updated 5 years ago
- ☆30Updated 3 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆60Updated last month
- 🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.☆315Updated 4 years ago
- ☆31Updated 5 years ago
- Creating a minimal ELF file☆119Updated last month
- VirtIO guest drivers in Rust.☆263Updated this week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆196Updated 5 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 9 months ago
- 项目的主仓库☆25Updated 2 years ago
- 🦀️ Operating System in 100% Pure Rust☆101Updated 4 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago