Alternatives and similar repositories for dogfood

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

• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆39Updated last year
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆164Updated last month
• glarer / UserspaceBypass
  ☆58Updated last year
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆35Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆201Updated 2 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 5 months ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆58Updated last year
• sslab-gatech / libmpk
  ☆51Updated 3 years ago
• xlab-uiuc / dmt
  Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]
  ☆14Updated last year
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• TwinVisor / twinvisor-prototype
  ☆23Updated 3 years ago
• oscomp / proj8-RVM
  Writing a hypervisor in Rust
  ☆11Updated 6 months ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆49Updated last month
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆21Updated 11 months ago
• connorimes / parsec-3.0
  PARSEC 3.0 benchmark suite
  ☆12Updated 7 years ago
• cogbt / COGBT
  Compile Optimization Guided Binary Translator (using llvm as infrastructure)
  ☆52Updated last year
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 7 months ago
• DCSec / HyperBench
  HyperBench: A Benchmark Suite for Virtualization Capabilities
  ☆31Updated 5 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆77Updated 2 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• kvm-unit-tests / kvm-unit-tests
  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …
  ☆29Updated last month
• WiscADSL / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆16Updated 2 years ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆13Updated 2 years ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆45Updated 2 years ago
• uclasystem / DRust
  ☆49Updated last year