Alternatives and similar repositories for dogfood

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

• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆168Updated last week
• glarer / UserspaceBypass
  ☆58Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆40Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆202Updated 2 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• cogbt / COGBT
  Compile Optimization Guided Binary Translator (using llvm as infrastructure)
  ☆52Updated last year
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 8 months ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆21Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated last year
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆49Updated 2 months ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated 2 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 6 months ago
• oscomp / proj8-RVM
  Writing a hypervisor in Rust
  ☆11Updated 7 months ago
• SparkYHY / Linux-Driver-Runtime
  ☆15Updated 2 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆26Updated 3 years ago
• ZhangShurong / simple-filesystem
  Experiment with writing a simple, kernel-space, on-disk filesystem.
  ☆33Updated 6 years ago
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 5 years ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆44Updated 2 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated 9 months ago
• iaGuoZhi / system-study-resources
  Study materials collected while studying
  ☆51Updated 3 years ago
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated 2 years ago
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• LearningOS / oscomp-kernel-training
  ☆48Updated 3 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆66Updated 9 months ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆77Updated 2 years ago
• sslab-gatech / shfllock
  ☆44Updated 4 years ago