bao-project / bao-hypervisorLinks
Bao, a Lightweight Static Partitioning Hypervisor
☆482Updated last week
Alternatives and similar repositories for bao-hypervisor
Users that are interested in bao-hypervisor are comparing it to the libraries listed below
Sorting:
- Flexible Virtualization Solution for Embedded System☆263Updated last year
- Xvisor: eXtensible Versatile hypervISOR☆596Updated last month
- This System Control Processor (SCP) firmware repository is no longer used and has been set to Read-only for archiving purposes. Please re…☆255Updated last year
- A guide on how to build and use a set of Bao guest configurations for various platforms☆48Updated last week
- ☆113Updated 6 years ago
- Linux KVM RISC-V repo☆59Updated last week
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆77Updated this week
- aVisor: A Tiny Hypervisor for Raspberry Pi☆38Updated 2 weeks ago
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆417Updated 2 months ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆82Updated 7 years ago
- safe type-1 Rust Hypervisor for edge devices☆157Updated last week
- OpenEmbedded/Yocto layer for RISC-V Architecture☆417Updated 2 weeks ago
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆290Updated 3 weeks ago
- RISC-V Open Source Supervisor Binary Interface☆1,335Updated last week
- ☆12Updated last month
- This example demonstrates the use of the Generic Interrupt Controller (GIC) in a baremetal environment.☆14Updated last year
- Talk is cheap. Show me the code.☆22Updated last year
- Project ACRN hypervisor☆1,246Updated 3 weeks ago
- Jailhouse demonstration and testing images☆64Updated last year
- Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB,…☆526Updated 8 months ago
- A utility for decoding aarch64 ESR register values.☆100Updated last week
- CoreSight trace stream decoder developed openly☆177Updated 2 months ago
- Documentation for the RISC-V Supervisor Binary Interface☆449Updated this week
- Linux Device Driver Development - Second Edition, published by Packt☆221Updated last year
- Bootlin embedded Linux and kernel training materials☆742Updated last week
- This project aims to build an Embedded Linux System, in order to analyze the chip from the power-on execution of the first instruction to…☆371Updated this week
- Kernel tree for ACRN☆97Updated 3 months ago
- Risc-V hypervisor for TEE development☆126Updated 6 months ago
- Nuclei RISC-V Linux Software Development Kit☆54Updated last month
- Linux kernel source tree☆21Updated this week