Alternatives and similar repositories for linux-kernel-labs

Users that are interested in linux-kernel-labs are comparing it to the libraries listed below

• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆163Updated 2 years ago
• ustb-owl / Lava
  A compiler of C subset by USTB OWL Wheel Lab.
  ☆13Updated 2 years ago
• wangrunji0408 / UndergraduateProjects
  A collection of my undergraduate projects
  ☆92Updated last year
• glarer / UserspaceBypass
  ☆58Updated last year
• PanQL / zircon-notes
  对zircon内核的一些分析，欢迎补充！
  ☆61Updated 6 years ago
• chyyuu / thoughts
  ☆42Updated 2 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆59Updated 2 years ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆115Updated last year
• arceos-hypervisor / 2024-virtualization-campus
  2024春夏季训练营第三阶段-虚拟化方向
  ☆46Updated last year
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• ShaoxunZeng / DKernel-Plus
  A Debuggable Kernel environment Plus a software collection
  ☆63Updated 3 years ago
• thu-cs-lab / Router-Lab-Docs
  Documentation for Router Lab
  ☆70Updated 2 months ago
• thu-cs-lab / Router-Lab
  Lab for Network Principles since 2019-2020 fall
  ☆175Updated 4 months ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 6 years ago
• RichardWeiYang / kernel_exploring
  My exploring in linux kernel
  ☆73Updated this week
• MaxXSoft / GeeOS
  The Gee (寂) Operating System, written in YuLang.
  ☆34Updated 4 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 10 months ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆246Updated 4 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 8 months ago
• oscomp / proj191-seL4-for-wasmedge
  seL4 作为Hypervisor启动一个 WasmEdge 运行时环境
  ☆36Updated 8 months ago
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆39Updated last year
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 5 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 3 years ago
• jiegec / Projects
  A summary of my projects
  ☆49Updated last month
• pandengyang / peach
  桃花源（英文名为 peach）是一个迷你虚拟机，用于学习 Intel 硬件虚拟化技术。
  ☆217Updated 3 years ago
• OSH-2020 / OSH-2020.github.io
  课程主页
  ☆32Updated 5 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆79Updated 3 years ago