Alternatives and similar repositories for visualinux

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

• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆192Updated 2 years ago
• glarer / UserspaceBypass
  ☆57Updated last year
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• iaGuoZhi / system-study-resources
  Study materials collected while studying
  ☆52Updated 3 years ago
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated last month
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• tstamler / zIO
  Transparent zero-copy IO
  ☆20Updated last year
• oscomp / proj8-RVM
  Writing a hypervisor in Rust
  ☆12Updated 2 months ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆55Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• LearningOS / oscomp-kernel-training
  ☆48Updated 2 years ago
• sosson97 / msh
  ☆20Updated 11 months ago
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated last year
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆57Updated 4 months ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated 9 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• uclasystem / DRust
  ☆48Updated 8 months ago
• chyyuu / thoughts
  ☆42Updated last year
• arceos-hypervisor / 2024-virtualization-campus
  2024春夏季训练营第三阶段-虚拟化方向
  ☆42Updated last year
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 4 months ago
• cogbt / COGBT
  Compile Optimization Guided Binary Translator (using llvm as infrastructure)
  ☆47Updated 10 months ago
• greenhandzpx / Titanix
  Titanix: A Unix-like OS.
  ☆23Updated last year
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆44Updated 2 weeks ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• Electronic-Waste / Chcore
  A Microkernel OS Lab & Note & Homework for SJTU SE3357
  ☆16Updated last year
• pandengyang / peach
  桃花源（英文名为 peach）是一个迷你虚拟机，用于学习 Intel 硬件虚拟化技术。
  ☆208Updated 3 years ago
• oscomp / testsuits-for-oskernel
  ☆131Updated last week
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 3 months ago