Alternatives and similar repositories for dogfood

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

• glarer / UserspaceBypass
  ☆58Updated last year
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆176Updated 3 weeks ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆205Updated 2 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated 2 years ago
• connorimes / parsec-3.0
  PARSEC 3.0 benchmark suite
  ☆13Updated 7 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated last year
• cogbt / COGBT
  Compile Optimization Guided Binary Translator (using llvm as infrastructure)
  ☆52Updated last year
• oscomp / proj8-RVM
  Writing a hypervisor in Rust
  ☆11Updated 9 months ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 7 months ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆49Updated last week
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆13Updated 2 years ago
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆162Updated 2 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• rssys / on-demand-fork
  On-demand-fork
  ☆32Updated 2 years ago
• DCSec / HyperBench
  HyperBench: A Benchmark Suite for Virtualization Capabilities
  ☆32Updated 6 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆58Updated 2 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆209Updated 9 months ago
• tstamler / zIO
  Transparent zero-copy IO
  ☆24Updated last year
• GiantVM / Book
  Source code for the virtualization book
  ☆93Updated last week
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• arceos-hypervisor / 2024-virtualization-campus
  2024春夏季训练营第三阶段-虚拟化方向
  ☆46Updated last year
• xlab-uiuc / emt
  EMT: An OS Framework for New Memory Translation Architectures
  ☆26Updated 5 months ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆21Updated last year
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 4 years ago