kernkonzept / uvmmLinks
Virtual machine monitor for L4Re
☆32Updated this week
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
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆13Updated last year
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆23Updated 11 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- The core components of the L4Re operating system.☆93Updated this week
- The development version of the L4Re Microkernel☆142Updated this week
- Virtual Machine built as a CAmkES component.☆24Updated last month
- A virtual machine monitor for the seL4 microkernel☆42Updated last week
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- ☆46Updated this week
- Basic tools for building seL4 projects☆50Updated last month
- busybear-linux is a tiny RISC-V Linux root filesystem image that targets the VirtIO board in riscv-qemu.☆99Updated last year
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 3 years ago
- UEFI, on Loongson.☆14Updated 9 years ago
- UEFI boot loader☆81Updated 3 years ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆28Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- The main L4Re manifest to checkout the L4Re operating system.☆22Updated this week
- A utility for decoding aarch64 ESR register values.☆96Updated this week
- KVM RISC-V HowTOs☆47Updated 3 years ago
- Codezero Microkernel☆112Updated 3 years ago
- sel4 benchmarking applications and support library.☆19Updated last month
- SiFive OpenEmbedded / Yocto BSP Layer☆53Updated last week
- ☆17Updated last month
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆81Updated 7 years ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆54Updated this week
- Microkernel-based system for heterogeneous manycores☆112Updated 5 years ago
- NOVA userland☆48Updated 11 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago