sslab-gatech / cs3210-rustos-publicLinks
Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
☆124Updated 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:
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated last year
- RedLeaf Operating System☆136Updated 3 years ago
- ☆133Updated 2 years ago
- Deprecated! Use qemu-rs instead :)☆72Updated last year
- RISC-V hypervisor written in Rust☆365Updated 5 years ago
- Rcore Virtual Machine☆115Updated last year
- ☆122Updated 4 months ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 5 months ago
- Experimental kernel with built-in replication.☆162Updated 3 months ago
- A Type-1.5 hypervisor written in Rust.☆67Updated last year
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆15Updated 4 years ago
- Lab assignments for 6.826☆16Updated 5 years ago
- understanding the safety of Rust☆98Updated 5 years ago
- A randomized program fuzzer for the Rust programming language☆65Updated 2 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆39Updated last year
- Verification of BPF JIT compilers☆57Updated 2 years ago
- A hypervisor written in Rust.☆125Updated 3 years ago
- ☆34Updated 5 years ago
- ☆76Updated 3 years ago
- Creating a minimal ELF file☆119Updated 5 months ago
- Rust RISC-V Virtual Machine☆110Updated 2 months ago
- 🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.☆319Updated 4 years ago
- Decaf 实验综述☆12Updated 5 years ago
- a paper template☆58Updated 2 months ago
- 项目的主仓库☆25Updated 3 years ago
- rmem public repo☆48Updated 5 months ago
- ☆34Updated 3 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 3 years ago
- ☆52Updated 3 years ago
- 🦀️ Operating System in 100% Pure Rust☆102Updated 4 years ago