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
  ☆122Updated 2 years ago
• kaist-cp / rv6
  ☆127Updated last year
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆103Updated 6 months ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated 11 months ago
• olivierpierre / unikernel-papers
  ☆113Updated 3 weeks ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆354Updated 5 years ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆73Updated last year
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆118Updated 3 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 6 years ago
• tsgates / die
  a paper template
  ☆51Updated last year
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆57Updated 9 months ago
• chyyuu / ostep-code-rust
  ☆12Updated 3 years ago
• rust-vmm / vhost
  ☆135Updated 2 months ago
• system-pclub / rust-study
  understanding the safety of Rust
  ☆96Updated 4 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆15Updated 3 years ago
• d0iasm / rvemu-for-book
  Reference implementation for the book "Writing a RISC-V Emulator in Rust".
  ☆371Updated 2 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆54Updated last week
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆101Updated 3 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆149Updated 5 months ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆69Updated this week
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆99Updated 2 years ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆232Updated last week
• ashwio / arm64-hypervisor-tutorial
  ☆102Updated 5 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 3 months ago
• MaxXSoft / laps
  Build lexers and parsers by deriving traits.
  ☆22Updated last year
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆317Updated 2 weeks ago
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆201Updated last year
• rcore-os / RVM
  Rcore Virtual Machine
  ☆110Updated 11 months ago