Alternatives and similar repositories for course_os

Users that are interested in course_os are comparing it to the libraries listed below

• repnop / vanadinite
  RISC-V OS written in Rust
  ☆142Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆362Updated 5 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated last year
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆53Updated 2 years ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 3 weeks ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆197Updated 7 months ago
• jix / varisat
  SAT solver written in Rust
  ☆270Updated 2 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆121Updated 5 years ago
• ixy-languages / ixy.rs
  Rust rewrite of the ixy network driver
  ☆314Updated last year
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆119Updated 2 years ago
• djg / verilated-rs
  Verilator Porcelain
  ☆48Updated last year
• daniel5151 / gdbstub
  An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] …
  ☆354Updated last month
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆95Updated this week
• IsaacWoods / poplar
  Microkernel and userspace written in Rust exploring modern ideas
  ☆260Updated 3 weeks ago
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆49Updated 6 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆162Updated last month
• cucapra / filament
  Fearless hardware design
  ☆178Updated this week
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆276Updated 3 years ago
• rust-lang / compiler-builtins
  Rust implementations of compiler-rt and libm
  ☆438Updated last week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆310Updated last week
• sybila / biodivine-lib-bdd
  A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
  ☆23Updated last month
• skyzh / mips-simulator
  💻 A 5-stage pipeline MIPS CPU design in Haskell.
  ☆36Updated 5 years ago
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆48Updated 3 months ago
• michoecho / perf2perfetto
  An intel PT trace converter from `perf.data` to Fuchsia trace format.
  ☆63Updated 4 months ago
• gimli-rs / addr2line
  A cross-platform `addr2line` clone written in Rust, using `gimli`
  ☆372Updated last month
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆111Updated 2 weeks ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆314Updated last year
• Nilix007 / betree_storage_stack
  Be-Tree Storage Stack (part of my MSc. thesis)
  ☆25Updated 5 years ago
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆206Updated 2 years ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆326Updated this week