Alternatives and similar repositories for cs3210-rustos-public

Users that are interested in cs3210-rustos-public are comparing it to the libraries listed below

• mars-research / redleaf
  RedLeaf Operating System
  ☆134Updated 3 years ago
• kaist-cp / rv6
  ☆133Updated 2 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆105Updated last year
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 months ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆363Updated 5 years ago
• olivierpierre / unikernel-papers
  ☆122Updated 3 months ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆116Updated last year
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆160Updated 2 years ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated last year
• system-pclub / rust-study
  understanding the safety of Rust
  ☆98Updated 5 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 4 years ago
• skyzh / core-os-riscv
  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
  ☆318Updated 4 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆63Updated 5 months ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆125Updated 3 years ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆67Updated last year
• Jaic1 / xv6-riscv-rust
  ☆76Updated 3 years ago
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆101Updated 4 years ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆331Updated this week
• stanford-cs242 / f19-assignments
  ☆34Updated 5 years ago
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 4 months ago
• jiegec / cs140e
  CS140e without Rust is not CS140e. Sergio Benitez plz come back.
  ☆75Updated 5 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆56Updated 2 years ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆108Updated last month
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆16Updated 4 years ago
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆118Updated last year
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆153Updated last year
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated 3 weeks ago
• wyfcyx / osnotes
  Some notes or translations about operating system or programming language.
  ☆99Updated 10 months ago
• lorenzo-stoakes / linux-vm-notes
  Notes on the linux kernel VM subsystem.
  ☆378Updated 2 years ago