arceos-hypervisor / axvisorLinks
Unified modular arceos-hypervisor
☆16Updated last week
Alternatives and similar repositories for axvisor
Users that are interested in axvisor are comparing it to the libraries listed below
Sorting:
- a Rust Hypervisor for mission-critical system☆119Updated this week
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆56Updated last year
- Writing a hypervisor in Rust☆12Updated 4 months ago
- ☆48Updated 2 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆158Updated last year
- Experiments and course for oscamp.☆12Updated 2 months ago
- ☆135Updated this week
- An experimental modular OS written in Rust.☆16Updated 5 months ago
- An RISC-V experimental OS☆25Updated last year
- ☆46Updated 2 years ago
- rcore-os Developer Blog☆46Updated last week
- ☆42Updated last year
- 2024春夏季训练营第三阶段-虚拟化方向☆44Updated last year
- A visualized debugging framework to aid in understanding the Linux kernel.☆145Updated this week
- Rust Unikernel OS☆79Updated last week
- ☆19Updated 2 months ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆37Updated 3 months ago
- ☆24Updated 2 months ago
- Port XV6 to K210 board!☆143Updated 4 years ago
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- 一种支持多种架构嵌入式领域的实时操作系统,支持网络通信和grub启动☆66Updated 2 years ago
- QEMU platform SBI support implementation, using RustSBI☆147Updated 9 months ago
- An experimental modular OS written in Rust.☆660Updated last week
- Rcore Virtual Machine☆116Updated last year
- 项目的主仓库☆25Updated 2 years ago
- "全国大学生操作系统比赛2025"相关信息☆279Updated last month
- 🦀️ Reimplement xv6-riscv in Rust!☆342Updated 2 years ago
- A simple and fast RISC-V JIT emulator.☆146Updated 11 months ago
- The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4☆20Updated 2 years ago
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆10Updated 3 weeks ago