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
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆205Updated last month
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆205Updated 2 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆37Updated last year
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆46Updated 2 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated 2 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆49Updated 2 weeks ago
• xlab-uiuc / emt
  EMT: An OS Framework for New Memory Translation Architectures
  ☆27Updated 6 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 10 months ago
• sslab-gatech / libmpk
  ☆51Updated 4 years ago
• rssys / on-demand-fork
  On-demand-fork
  ☆32Updated 2 years ago
• uclasystem / DRust
  ☆52Updated last year
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆21Updated last year
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 8 months ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆26Updated 3 years ago
• 130B848 / ipads-tutorial07
  ☆10Updated 4 years ago
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated 2 years ago
• WiscADSL / uFS
  A Filesystem Semi-Microkernel.
  ☆46Updated 2 years ago
• yzr95924 / storage_paper_list
  Some paper lists related to storage systems
  ☆49Updated 2 weeks ago
• TwinVisor / twinvisor-prototype
  ☆22Updated 3 years ago
• sslab-gatech / shfllock
  ☆44Updated 4 years ago
• cogbt / COGBT
  Compile Optimization Guided Binary Translator (using llvm as infrastructure)
  ☆52Updated last year
• oscomp / proj6-user-level-interrupt
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Updated 9 months ago
• Martins3 / loongson-dune
  Process virtualization based on KVM. More useable, stable and practical than Stanford Dune.
  ☆25Updated 3 years ago