bao-project / bao-hypervisor
Bao, a Lightweight Static Partitioning Hypervisor
☆393Updated 2 weeks ago
Alternatives and similar repositories for bao-hypervisor:
Users that are interested in bao-hypervisor are comparing it to the libraries listed below
- This System Control Processor (SCP) firmware repository is no longer used and has been set to Read-only for archiving purposes. Please re…☆239Updated 5 months ago
- Flexible Virtualization Solution for Embedded System☆250Updated 11 months ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆39Updated last week
- Xvisor: eXtensible Versatile hypervISOR☆558Updated 6 months ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆324Updated last year
- 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…☆248Updated 2 months ago
- OpenEmbedded/Yocto layer for RISC-V Architecture☆374Updated 2 weeks ago
- Documentation for the RISC-V Supervisor Binary Interface☆373Updated last week
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆247Updated last month
- Jailhouse demonstration and testing images☆59Updated 11 months ago
- RISC-V Open Source Supervisor Binary Interface☆1,102Updated this week
- MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn'…☆83Updated last year
- ☆100Updated 5 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆31Updated last year
- a Rust Hypervisor for mission-critical system☆52Updated 2 weeks ago
- Risc-V hypervisor for TEE development☆106Updated last year
- ARM Enterprise ACS☆42Updated 2 years ago
- PLIC Specification☆137Updated last year
- ARM Architecture Reference Manual for ARMv8-A 中文解读☆80Updated 8 years ago
- CoreSight trace stream decoder developed openly☆149Updated 3 months ago
- PCIe Device Emulation in QEMU☆58Updated last year
- Linux KVM RISC-V repo☆52Updated this week
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆282Updated 2 months ago
- Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB,…☆450Updated last year
- ☆102Updated 5 years ago
- Kernel tree for ACRN☆95Updated 5 months ago
- A utility for decoding aarch64 ESR register values.☆80Updated last week
- The main Embench repository☆263Updated 5 months ago
- Bootlin embedded Linux and kernel training materials☆639Updated last week