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:
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated 10 months ago
- RedLeaf Operating System☆124Updated 3 years ago
- ☆122Updated 4 months ago
- Rcore Virtual Machine☆114Updated last year
- a paper template☆54Updated 2 years ago
- A hypervisor written in Rust.☆120Updated 3 years ago
- RISC-V hypervisor written in Rust☆359Updated 5 years ago
- Deprecated! Use qemu-rs instead :)☆73Updated last year
- A randomized program fuzzer for the Rust programming language☆64Updated last year
- Lab assignments for 6.826☆15Updated 4 years ago
- Loupe: Syscall Usage Analysis Tool☆35Updated this week
- A Type-1.5 hypervisor written in Rust.☆65Updated last year
- Succinct notes on the linux mm subsystem.☆117Updated 2 years ago
- Verification of BPF JIT compilers☆55Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆59Updated last month
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 9 months ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- understanding the safety of Rust☆98Updated 5 years ago
- Synthesis of Loop-free Programs in Rust☆65Updated 5 years ago
- ☆32Updated 5 years ago
- A verified library of synchronization primitives and concurrent data structures☆35Updated last month
- Experimental kernel with built-in replication.☆157Updated last year
- Creating a minimal ELF file☆119Updated 3 weeks ago
- ☆30Updated 3 years ago
- Concurrency Paper☆108Updated 2 years ago
- Inspect and dissect an ELF file with pretty formatting.☆107Updated last year
- Let's write an x86 hypervisor in Rust from scratch!☆156Updated last year
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆275Updated 3 years ago
- ☆12Updated 3 years ago
- Rust RISC-V Virtual Machine☆104Updated 6 months ago