arceos-hypervisor / axvisor
Unified modular arceos-hypervisor
☆14Updated 2 weeks ago
Alternatives and similar repositories for axvisor:
Users that are interested in axvisor are comparing it to the libraries listed below
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆55Updated last year
- Experiments and course for oscamp.☆12Updated last week
- Writing a hypervisor in Rust☆12Updated last month
- Let's write an x86 hypervisor in Rust from scratch!☆155Updated last year
- a Rust Hypervisor for mission-critical system☆84Updated last week
- ☆48Updated 2 years ago
- ☆45Updated last year
- 2024春夏季训练营第三阶段-虚拟化方向☆39Updated 11 months ago
- ☆13Updated 2 years ago
- 项目的主仓库☆24Updated 2 years ago
- ☆42Updated last year
- An experimental RTOS written in Rust.☆36Updated 2 years ago
- An experimental modular OS written in Rust.☆16Updated 2 months ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆38Updated 3 weeks ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- An RISC-V experimental OS☆25Updated last year
- The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4☆18Updated 2 years ago
- ☆124Updated last week
- hypercraft is a VMM library written in Rust.☆50Updated 6 months ago
- rustsbi 开发教程☆41Updated 2 years ago
- A Symmetric Multiprocessing OS Kernel over RISC-V☆30Updated 2 years ago
- [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C☆17Updated 4 years ago
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- 基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜:https://learningos.cn/oscomptest-grading , starry-next指导书:https://azure-sta…☆14Updated last week
- Compile Optimization Guided Binary Translator (using llvm as infrastructure)☆47Updated 8 months ago
- rcore-os Developer Blog☆45Updated this week
- ☆23Updated last year
- A simple SMP OS on ARMv8a☆23Updated 2 years ago
- Rust Unikernel OS☆77Updated 3 weeks ago
- QEMU platform SBI support implementation, using RustSBI☆143Updated 6 months ago