kernkonzept / uvmmLinks
Virtual machine monitor for L4Re
☆31Updated 2 weeks ago
Alternatives and similar repositories for uvmm
Users that are interested in uvmm are comparing it to the libraries listed below
Sorting:
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆12Updated last year
- Xvisor: eXtensible Versatile hypervISOR☆88Updated 3 months ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆19Updated 9 months ago
- The development version of the L4Re Microkernel☆138Updated 2 weeks ago
- The core components of the L4Re operating system.☆92Updated 2 weeks ago
- Basic tools for building seL4 projects☆48Updated last week
- Advanced Operating Systems project☆20Updated 10 months ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆28Updated last year
- Documentation and status of UEFI on RISC-V☆60Updated 3 years ago
- A virtual machine monitor for the seL4 microkernel☆41Updated this week
- SiFive OpenEmbedded / Yocto BSP Layer☆53Updated 2 weeks ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- UEFI boot loader☆80Updated 2 years ago
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated 2 weeks ago
- Virtual Machine built as a CAmkES component.☆23Updated 4 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- sel4 benchmarking applications and support library.☆20Updated 2 months ago
- Embedded Base Boot Requirements Specification☆119Updated 4 months ago
- KVM RISC-V HowTOs☆47Updated 3 years ago
- NOVA userland☆48Updated 11 years ago
- This is the source of the seL4 docs.☆16Updated this week
- 'vhost-user' device backends workspace☆96Updated 2 weeks ago
- ☆45Updated this week
- musl: A C standard library☆12Updated 2 weeks ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- ☆17Updated 3 weeks ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆51Updated last week
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- ☆29Updated 3 years ago
- LeOS operating system Kernel for AArch64 written in Rust☆82Updated 5 years ago