sslab-gatech / cs3210-rustos-public

Related projects ⓘ

Alternatives and complementary repositories for cs3210-rustos-public

• mars-research / redleaf
  RedLeaf Operating System
  ☆119Updated 2 years ago
• reberhardt7 / cs110l-spr-2020-starter-code
  Stanford CS 110L Spring 2020 assignment starter code
  ☆103Updated 3 months ago
• kaist-cp / rv6
  ☆127Updated last year
• olivierpierre / unikernel-papers
  ☆108Updated this week
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆155Updated 8 months ago
• novafacing / cannonball
  Deprecated! Use qemu-rs instead :)
  ☆72Updated 11 months ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆349Updated 4 years ago
• lorenzo-stoakes / linux-mm-notes
  Succinct notes on the linux mm subsystem.
  ☆96Updated last year
• kaist-cp / kecc-public
  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!
  ☆115Updated 6 months ago
• jiegec / cs140e
  CS140e without Rust is not CS140e. Sergio Benitez plz come back.
  ☆74Updated 4 years ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆55Updated 6 months ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆116Updated 2 years ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆215Updated 2 weeks ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆110Updated 8 months ago
• skyzh / core-os-riscv
  🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.
  ☆298Updated 3 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• system-pclub / rust-study
  understanding the safety of Rust
  ☆94Updated 4 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆192Updated 2 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆66Updated 6 years ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆312Updated last week
• CS161 / chickadee
  Chickadee OS for Harvard CS 161
  ☆89Updated 8 months ago
• manticoreos / manticore
  Manticore is a research operating system, written in Rust.
  ☆289Updated 11 months ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆147Updated 2 months ago
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆13Updated 4 years ago
• rust-vmm / kvm
  ☆281Updated last week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆256Updated this week
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆31Updated 4 months ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆194Updated 4 years ago
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆60Updated last year
• YdrMaster / fast-trap
  快速陷入处理
  ☆32Updated last year