kernkonzept / uvmmLinks
Virtual machine monitor for L4Re
☆33Updated 2 weeks ago
Alternatives and similar repositories for uvmm
Users that are interested in uvmm are comparing it to the libraries listed below
Sorting:
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 5 months ago
- Virtual Machine built as a CAmkES component.☆24Updated 2 months ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆13Updated 2 weeks ago
- The core components of the L4Re operating system.☆94Updated this week
- Basic tools for building seL4 projects☆50Updated 2 months ago
- The development version of the L4Re Microkernel☆145Updated this week
- The main L4Re manifest to checkout the L4Re operating system.☆23Updated this week
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆23Updated 2 weeks ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- NOVA userland☆48Updated 11 years ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆26Updated last year
- ☆17Updated 2 months ago
- Codezero Microkernel☆112Updated 3 years ago
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated 2 weeks ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆81Updated 7 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 2 months ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 7 months ago
- A virtual machine monitor for the seL4 microkernel☆43Updated this week
- sel4 benchmarking applications and support library.☆19Updated 2 months ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- ☆47Updated last week
- Embedded Base Boot Requirements Specification☆122Updated 3 weeks ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- UEFI boot loader☆80Updated 3 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- A utility for decoding aarch64 ESR register values.☆97Updated last week
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- Kernel tree for ACRN☆97Updated 3 weeks ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago