icsnju / visualinuxLinks
A visualized debugging framework to aid in understanding the Linux kernel.
☆205Updated last month
Alternatives and similar repositories for visualinux
Users that are interested in visualinux are comparing it to the libraries listed below
Sorting:
- The MOSAIC Operating Systems Model and Checker☆205Updated 2 years ago
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆153Updated last week
- ☆72Updated 2 years ago
- Study materials collected while studying☆51Updated 3 years ago
- ☆58Updated last year
- Writing a hypervisor in Rust☆11Updated 9 months ago
- ☆48Updated 3 years ago
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 4 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆163Updated 2 years ago
- ☆146Updated 5 months ago
- Transparent zero-copy IO☆25Updated last year
- BUAASE2019级的编译实验的实验指导与实验安排☆118Updated 3 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year
- Artifact evaluation for Dogfood☆12Updated 5 years ago
- A fast compiler for SysY code☆19Updated 3 years ago
- ☆48Updated 2 years ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆49Updated last week
- ☆52Updated last year
- Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.☆146Updated 10 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆37Updated last year
- 2024春夏季训练营第三阶段-虚拟化方向☆46Updated last year
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆58Updated 2 years ago
- 项目的主仓库☆25Updated 3 years ago
- ☆14Updated 2 years ago
- "全国大学生操作系统比赛2026"相关信息☆280Updated 3 weeks ago
- PARSEC 3.0 benchmark suite☆13Updated 7 years ago
- ☆21Updated last year
- Compiler development environment.☆21Updated 2 months ago
- ☆42Updated 2 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆69Updated 11 months ago