arceos-hypervisor / axvisorLinks
Unified modular arceos-hypervisor
☆34Updated this week
Alternatives and similar repositories for axvisor
Users that are interested in axvisor are comparing it to the libraries listed below
Sorting:
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆58Updated 2 years ago
- safe type-1 Rust Hypervisor for edge devices☆157Updated last week
- Writing a hypervisor in Rust☆11Updated 9 months ago
- ☆48Updated 2 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆162Updated 2 years ago
- Experiments and course for oscamp.☆12Updated 7 months ago
- 2024春夏季训练营第三阶段-虚拟化方向☆46Updated last year
- ☆48Updated 3 years ago
- ☆147Updated 4 months ago
- An experimental RTOS written in Rust.☆39Updated 3 years ago
- An RISC-V experimental OS☆25Updated 2 years ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆176Updated 3 weeks ago
- ☆25Updated 7 months ago
- Rust Unikernel OS☆87Updated 3 months ago
- ☆42Updated 2 years ago
- ☆20Updated 7 months ago
- 项目的主仓库☆25Updated 3 years ago
- The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4☆20Updated 2 years ago
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 4 years ago
- Rcore Virtual Machine☆114Updated last year
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆37Updated this week
- VirtIO guest drivers in Rust.☆281Updated last month
- ☆72Updated 2 years ago
- rcore-os Developer Blog☆49Updated this week
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆13Updated 3 weeks ago
- ☆12Updated 2 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- Compile Optimization Guided Binary Translator (using llvm as infrastructure)☆52Updated last year
- ☆21Updated 8 months ago
- QEMU platform SBI support implementation, using RustSBI☆152Updated 3 months ago