KuangjuX / hypocaust-2View external linksLinks
hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
☆59Nov 30, 2023Updated 2 years ago
Alternatives and similar repositories for hypocaust-2
Users that are interested in hypocaust-2 are comparing it to the libraries listed below
Sorting:
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆49Feb 20, 2023Updated 2 years ago
- Hypervisor written in Rust for the RISC-V 1.0 hypervisor extension☆16Oct 21, 2024Updated last year
- hypercraft is a VMM library written in Rust.☆54Oct 20, 2024Updated last year
- [WIP] A tiny RISC-V hypervisor software written in Rust☆27Dec 8, 2020Updated 5 years ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Mar 3, 2022Updated 3 years ago
- [No longer active] A fork of OpenSBI, with software-emulated hypervisor extension support☆42Aug 15, 2025Updated 5 months ago
- An experimental RTOS written in Rust.☆40Dec 7, 2022Updated 3 years ago
- ☆48May 22, 2023Updated 2 years ago
- Bao, a Lightweight Static Partitioning Hypervisor☆495Feb 7, 2026Updated last week
- safe type-1 Rust Hypervisor for edge devices☆167Feb 2, 2026Updated last week
- A Type-1.5 hypervisor written in Rust.☆70May 12, 2024Updated last year
- ☆72Oct 6, 2023Updated 2 years ago
- Risc-V hypervisor for TEE development☆126Jan 14, 2026Updated last month
- A bare-metal application to test specific features of the risc-v hypervisor extension☆44Nov 24, 2025Updated 2 months ago
- Rcore Virtual Machine☆115Mar 6, 2024Updated last year
- ☆19Jul 30, 2024Updated last year
- hvisor tool for root linux, includes CLI, Virtio daemon and hvisor kernel module☆14Jan 27, 2026Updated 2 weeks ago
- An RISC-V experimental OS☆25Sep 19, 2023Updated 2 years ago
- RISC-V IOMMU Demo (Linux & Bao)☆24Dec 5, 2023Updated 2 years ago
- Let's write an x86 hypervisor in Rust from scratch!☆163Sep 10, 2023Updated 2 years ago
- An Open and Cross-platform Trusted Execution Environment.☆150Sep 27, 2024Updated last year
- Serialize & deserialize device tree binary using serde☆23Dec 4, 2025Updated 2 months ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Dec 9, 2025Updated 2 months ago
- 遍历设备树二进制对象☆14Nov 22, 2025Updated 2 months ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆14Jul 21, 2023Updated 2 years ago
- Simple RISC-V SBI runtime library; designated for supervisor use☆25Jan 10, 2024Updated 2 years ago
- Rocket Chip Generator☆13Jul 31, 2021Updated 4 years ago
- Paging Debug tool for GDB using python☆13Jun 4, 2022Updated 3 years ago
- Linux KVM RISC-V repo☆59Feb 6, 2026Updated last week
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Dec 25, 2020Updated 5 years ago
- ☆12Apr 19, 2023Updated 2 years ago
- 项目的主仓库☆26Sep 11, 2022Updated 3 years ago
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Jan 5, 2025Updated last year
- ☆99Feb 6, 2026Updated last week
- Source code for the virtualization book☆95Jan 13, 2026Updated last month
- A Symmetric Multiprocessing OS Kernel over RISC-V☆32Jun 3, 2022Updated 3 years ago
- A simple SMP OS on ARMv8a☆27May 18, 2022Updated 3 years ago
- ☆38Aug 6, 2022Updated 3 years ago
- 基于 CUDA Driver API 的 cuda 运行时环境☆15Jul 30, 2025Updated 6 months ago