sslab-gatech / cs3210-rustos-publicLinks
Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
☆126Updated 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☆138Updated 3 years ago
- ☆135Updated 2 years ago
- Stanford CS 110L Spring 2020 assignment starter code☆109Updated last year
- Experimental kernel with built-in replication.☆163Updated 6 months ago
- ☆125Updated 7 months ago
- Deprecated! Use qemu-rs instead :)☆72Updated 2 years ago
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆177Updated 7 months ago
- RISC-V hypervisor written in Rust☆366Updated 6 years ago
- Rcore Virtual Machine☆115Updated last year
- Lab assignments for 6.826☆17Updated 5 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆163Updated 2 years ago
- 🦀️ Operating System in 100% Pure Rust☆102Updated 4 years ago
- A Type-1.5 hypervisor written in Rust.☆70Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65Updated 9 months ago
- Creating a minimal ELF file☆120Updated 8 months ago
- CS140e without Rust is not CS140e. Sergio Benitez plz come back.☆76Updated 5 years ago
- 🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.☆321Updated 4 years ago
- ☆75Updated 3 years ago
- A hypervisor written in Rust.☆132Updated 3 years ago
- understanding the safety of Rust☆100Updated 5 years ago
- Virtual machine's guest memory crate☆349Updated 2 weeks ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Updated 4 years ago
- Rust RISC-V Virtual Machine☆113Updated 5 months ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- Verification of BPF JIT compilers☆58Updated 2 years ago
- A buddy system allocator in pure Rust.☆129Updated 3 weeks ago
- A randomized program fuzzer for the Rust programming language☆64Updated 2 years ago
- VirtIO guest drivers in Rust.☆282Updated last week
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆49Updated 2 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year